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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IrreflexiveRelation
IrreflexiveRelation

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

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


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

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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