@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/math0007174>
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007195> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007181>, <http://www.irandoc.acir/onto/irandoc/math0007315>, <http://www.irandoc.acir/onto/irandoc/math0007175>, <http://www.irandoc.acir/onto/irandoc/math0007263> ;
  skos:altLabel "ممتنع"@fa, "" ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007173> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "باطل"@fa, "absurd"@en .

<http://www.irandoc.acir/onto/irandoc/math0007315>
  skos:prefLabel "نتیجه توتولوژیک"@fa, "tautological implication"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007174> .

<http://www.irandoc.acir/onto/irandoc/math0007181>
  skos:prefLabel "راست"@fa, "true"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007174> .

<http://www.irandoc.acir/onto/irandoc/math0007175>
  skos:prefLabel "بدیهی"@fa, "trivial"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007174> .

<http://www.irandoc.acir/onto/irandoc/math0007195>
  skos:prefLabel "شی منطقی"@fa, "logical object"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007174> .

<http://www.irandoc.acir/onto/irandoc/math0007173>
  skos:prefLabel "حکم باطل"@fa, "absurd statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007174> .

<http://www.irandoc.acir/onto/irandoc/math0007263>
  skos:prefLabel "جمله درست"@fa, "valid sentence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007174> .