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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(irreflexive relation)

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 Irreflexive relation is a subclass of binary relation

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


(instance ancestor IrreflexiveRelation) Merge.kif 15150-15150 ancestor is an instance of irreflexive relation
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 21942-21942 ancestor organization is an instance of irreflexive relation
(instance attribute IrreflexiveRelation) Merge.kif 1620-1620 attribute is an instance of irreflexive relation
(instance before IrreflexiveRelation) Merge.kif 7630-7630 before is an instance of irreflexive relation
(instance brother IrreflexiveRelation) Merge.kif 15302-15302 brother is an instance of irreflexive relation
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6179-6179 conjugate is an instance of irreflexive relation
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 14901-14901 connected engineering components is an instance of irreflexive relation
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7421-7421 customer is an instance of irreflexive relation
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2516-2516 decreases likelihood is an instance of irreflexive relation
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4475-4475 diplomatic relations is an instance of irreflexive relation
(instance disjointRelation IrreflexiveRelation) Merge.kif 409-409 disjoint relation is an instance of irreflexive relation
(instance during IrreflexiveRelation) Merge.kif 7758-7758 during is an instance of irreflexive relation
(instance earlier IrreflexiveRelation) Merge.kif 7803-7803 earlier is an instance of irreflexive relation
(instance exportPartner IrreflexiveRelation) Economy.kif 2374-2374 export partner is an instance of irreflexive relation
(instance finishes IrreflexiveRelation) Merge.kif 7610-7610 finishes is an instance of irreflexive relation
(instance graphPart IrreflexiveRelation) Merge.kif 5530-5530 graph part is an instance of irreflexive relation
(instance greaterThan IrreflexiveRelation) Merge.kif 1753-1753 greater than is an instance of irreflexive relation
(instance hinders IrreflexiveRelation) Merge.kif 4182-4182 hinders is an instance of irreflexive relation
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4100-4100 hindersSubclass is an instance of irreflexive relation
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8148-8148 hostile forces is an instance of irreflexive relation
(instance husband IrreflexiveRelation) Merge.kif 15371-15371 husband is an instance of irreflexive relation
(instance importPartner IrreflexiveRelation) Economy.kif 2661-2661 import partner is an instance of irreflexive relation
(instance inList IrreflexiveRelation) Merge.kif 2991-2991 in list is an instance of irreflexive relation
(instance increasesLikelihood IrreflexiveRelation) Merge.kif 2496-2496 increases likelihood is an instance of irreflexive relation
(instance inverse IrreflexiveRelation) Merge.kif 106-106 inverse is an instance of irreflexive relation

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 An entity is an instance of asymmetric relation if and only if the entity is an instance of antisymmetric relation and the entity is an instance of irreflexive relation


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