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 15177-15177 ancestor is an instance of irreflexive relation
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 21967-21967 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 7663-7663 before is an instance of irreflexive relation
(instance brother IrreflexiveRelation) Merge.kif 15329-15329 brother is an instance of irreflexive relation
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6185-6185 conjugate is an instance of irreflexive relation
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 14928-14928 connected engineering components is an instance of irreflexive relation
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7400-7400 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 7791-7791 during is an instance of irreflexive relation
(instance earlier IrreflexiveRelation) Merge.kif 7836-7836 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 7643-7643 finishes is an instance of irreflexive relation
(instance graphPart IrreflexiveRelation) Merge.kif 5565-5565 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 4223-4223 hinders is an instance of irreflexive relation
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4141-4141 hindersSubclass is an instance of irreflexive relation
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8127-8127 hostile forces is an instance of irreflexive relation
(instance husband IrreflexiveRelation) Merge.kif 15398-15398 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 3.0 is open source software produced by Articulate Software and its partners