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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IrreflexiveRelation

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 2163-2164
(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 2161-2161 subclass IrreflexiveRelation and BinaryRelation

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


(instance ancestor IrreflexiveRelation) Merge.kif 15208-15208 instance ancestor and IrreflexiveRelation
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 21973-21973 instance ancestorOrganization and IrreflexiveRelation
(instance attribute IrreflexiveRelation) Merge.kif 1625-1625 instance attribute and IrreflexiveRelation
(instance before IrreflexiveRelation) Merge.kif 7676-7676 instance before and IrreflexiveRelation
(instance brother IrreflexiveRelation) Merge.kif 15361-15361 instance brother and IrreflexiveRelation
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6185-6185 instance conjugate and IrreflexiveRelation
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 14959-14959 instance connectedEngineeringComponents and IrreflexiveRelation
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7402-7402 instance customer and IrreflexiveRelation
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2521-2521 instance decreasesLikelihood and IrreflexiveRelation
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4475-4475 instance diplomaticRelations and IrreflexiveRelation
(instance disjointRelation IrreflexiveRelation) Merge.kif 410-410 instance disjointRelation and IrreflexiveRelation
(instance during IrreflexiveRelation) Merge.kif 7805-7805 instance during and IrreflexiveRelation
(instance earlier IrreflexiveRelation) Merge.kif 7850-7850 instance earlier and IrreflexiveRelation
(instance exportPartner IrreflexiveRelation) Economy.kif 2374-2374 instance exportPartner and IrreflexiveRelation
(instance finishes IrreflexiveRelation) Merge.kif 7656-7656 instance finishes and IrreflexiveRelation
(instance graphPart IrreflexiveRelation) Merge.kif 5575-5575 instance graphPart and IrreflexiveRelation
(instance greaterThan IrreflexiveRelation) Merge.kif 1758-1758 instance greaterThan and IrreflexiveRelation
(instance hinders IrreflexiveRelation) Merge.kif 4228-4228 instance hinders and IrreflexiveRelation
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4146-4146 instance hindersSubclass and IrreflexiveRelation
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8129-8129 instance hostileForces and IrreflexiveRelation
(instance husband IrreflexiveRelation) Merge.kif 15431-15431 instance husband and IrreflexiveRelation
(instance importPartner IrreflexiveRelation) Economy.kif 2661-2661 instance importPartner and IrreflexiveRelation
(instance inList IrreflexiveRelation) Merge.kif 2996-2996 instance inList and IrreflexiveRelation
(instance increasesLikelihood IrreflexiveRelation) Merge.kif 2501-2501 instance increasesLikelihood and IrreflexiveRelation
(instance inverse IrreflexiveRelation) Merge.kif 106-106 instance inverse 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 2166-2170

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


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


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