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

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


(instance BackFn IrreflexiveRelation) Merge.kif 859-859 instance BackFn and IrreflexiveRelation
(instance FrontFn IrreflexiveRelation) Merge.kif 837-837 instance FrontFn and IrreflexiveRelation
(instance ancestor IrreflexiveRelation) Merge.kif 15059-15059 instance ancestor and IrreflexiveRelation
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 21930-21930 instance ancestorOrganization and IrreflexiveRelation
(instance attribute IrreflexiveRelation) Merge.kif 1623-1623 instance attribute and IrreflexiveRelation
(instance before IrreflexiveRelation) Merge.kif 7539-7539 instance before and IrreflexiveRelation
(instance brother IrreflexiveRelation) Merge.kif 15209-15209 instance brother and IrreflexiveRelation
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6179-6179 instance conjugate and IrreflexiveRelation
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 14810-14810 instance connectedEngineeringComponents and IrreflexiveRelation
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7420-7420 instance customer and IrreflexiveRelation
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2516-2516 instance decreasesLikelihood and IrreflexiveRelation
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4475-4475 instance diplomaticRelations and IrreflexiveRelation
(instance disjointRelation IrreflexiveRelation) Merge.kif 409-409 instance disjointRelation and IrreflexiveRelation
(instance during IrreflexiveRelation) Merge.kif 7667-7667 instance during and IrreflexiveRelation
(instance earlier IrreflexiveRelation) Merge.kif 7712-7712 instance earlier and IrreflexiveRelation
(instance exportPartner IrreflexiveRelation) Economy.kif 2374-2374 instance exportPartner and IrreflexiveRelation
(instance finishes IrreflexiveRelation) Merge.kif 7519-7519 instance finishes and IrreflexiveRelation
(instance graphPart IrreflexiveRelation) Merge.kif 5444-5444 instance graphPart and IrreflexiveRelation
(instance greaterThan IrreflexiveRelation) Merge.kif 1752-1752 instance greaterThan and IrreflexiveRelation
(instance hinders IrreflexiveRelation) Merge.kif 4092-4092 instance hinders and IrreflexiveRelation
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4010-4010 instance hindersSubclass and IrreflexiveRelation
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8147-8147 instance hostileForces and IrreflexiveRelation
(instance husband IrreflexiveRelation) Merge.kif 15278-15278 instance husband and IrreflexiveRelation
(instance importPartner IrreflexiveRelation) Economy.kif 2661-2661 instance importPartner and IrreflexiveRelation
(instance inList IrreflexiveRelation) Merge.kif 2992-2992 instance inList and IrreflexiveRelation

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 2160-2164

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


(<=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2186-2190 instance Entity and AsymmetricRelation instance Entity and AntisymmetricRelation instance Entity and IrreflexiveRelation


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners