Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  IrreflexiveRelation

 Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(relation irr�flexive)

appearance as argument number 1
-------------------------


(documentation IrreflexiveRelation ChineseLanguage "Relation ?REL 属于非自反关系当且仅当没有 一个?INST 是(?REL ?INST ?INST)。") chinese_format.kif 1835-1836
(documentation IrreflexiveRelation EnglishLanguage "Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.") Merge.kif 2251-2252
(documentation IrreflexiveRelation JapaneseLanguage "Relation ?REL は、(?REL ?INST ?INST) に?INSTの値がない場合のみ非再帰的である。") japanese_format.kif 455-456
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png") pictureList.kif 8551-8551
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") pictureList.kif 9357-9357
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2249-2249 Relation irr�flexive est une sous-classe de relation binaire

appearance as argument number 2
-------------------------


(instance ancestor IrreflexiveRelation) Merge.kif 16418-16418 ancestor est une instance de relation irr�flexive
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 24223-24223 ancestorOrganization est une instance de relation irr�flexive
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10687-10687 antagonistMuscles est une instance de relation irr�flexive
(instance attribute IrreflexiveRelation) Merge.kif 1716-1716 attribute est une instance de relation irr�flexive
(instance before IrreflexiveRelation) Merge.kif 8133-8133 before est une instance de relation irr�flexive
(instance brother IrreflexiveRelation) Merge.kif 16571-16571 brother est une instance de relation irr�flexive
(instance classmate IrreflexiveRelation) Mid-level-ontology.kif 16836-16836 classmate est une instance de relation irr�flexive
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 16857-16857 colleague est une instance de relation irr�flexive
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6485-6485 conjugate est une instance de relation irr�flexive
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 16165-16165 connectedEngineeringComponents est une instance de relation irr�flexive
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7738-7738 customer est une instance de relation irr�flexive
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2615-2615 decreasesLikelihood est une instance de relation irr�flexive
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4508-4508 diplomaticRelations est une instance de relation irr�flexive
(instance disjointRelation IrreflexiveRelation) Merge.kif 410-410 disjointRelation est une instance de relation irr�flexive
(instance during IrreflexiveRelation) Merge.kif 8343-8343 during est une instance de relation irr�flexive
(instance earlier IrreflexiveRelation) Merge.kif 8405-8405 earlier est une instance de relation irr�flexive
(instance exportPartner IrreflexiveRelation) Economy.kif 2370-2370 exportPartner est une instance de relation irr�flexive
(instance finishes IrreflexiveRelation) Merge.kif 8103-8103 finishes est une instance de relation irr�flexive
(instance graphPart IrreflexiveRelation) Merge.kif 5888-5888 graphPart est une instance de relation irr�flexive
(instance greaterThan IrreflexiveRelation) Merge.kif 1845-1845 greaterThan est une instance de relation irr�flexive
(instance hinders IrreflexiveRelation) Merge.kif 4390-4390 hinders est une instance de relation irr�flexive
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4308-4308 hindersSubclass est une instance de relation irr�flexive
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8449-8449 hostileForces est une instance de relation irr�flexive
(instance husband IrreflexiveRelation) Merge.kif 16641-16641 husband est une instance de relation irr�flexive
(instance importPartner IrreflexiveRelation) Economy.kif 2658-2658 importPartner est une instance de relation irr�flexive

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation))
    (instance ?REL AsymmetricRelation))		 Merge.kif 2286-2290
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
        (not
            (?REL ?INST ?INST))))		 Merge.kif 2254-2258

consequent
-------------------------


(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))		 Merge.kif 2280-2284


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners