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 2158-2159
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png") pictureList.kif 8554-8554
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") pictureList.kif 9362-9362
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2156-2156

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


(instance ancestor IrreflexiveRelation) Merge.kif 15177-15177
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 21967-21967
(instance attribute IrreflexiveRelation) Merge.kif 1620-1620
(instance before IrreflexiveRelation) Merge.kif 7663-7663
(instance brother IrreflexiveRelation) Merge.kif 15329-15329
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6185-6185
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 14928-14928
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7400-7400
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2516-2516
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4475-4475
(instance disjointRelation IrreflexiveRelation) Merge.kif 409-409
(instance during IrreflexiveRelation) Merge.kif 7791-7791
(instance earlier IrreflexiveRelation) Merge.kif 7836-7836
(instance exportPartner IrreflexiveRelation) Economy.kif 2374-2374
(instance finishes IrreflexiveRelation) Merge.kif 7643-7643
(instance graphPart IrreflexiveRelation) Merge.kif 5565-5565
(instance greaterThan IrreflexiveRelation) Merge.kif 1753-1753
(instance hinders IrreflexiveRelation) Merge.kif 4223-4223
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4141-4141
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8127-8127
(instance husband IrreflexiveRelation) Merge.kif 15398-15398
(instance importPartner IrreflexiveRelation) Economy.kif 2661-2661
(instance inList IrreflexiveRelation) Merge.kif 2991-2991
(instance increasesLikelihood IrreflexiveRelation) Merge.kif 2496-2496
(instance inverse IrreflexiveRelation) Merge.kif 106-106

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
        (not
            (?REL ?INST ?INST))))
Merge.kif 2161-2165

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


(<=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2187-2191


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