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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(irreflexive relation)
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 2157-2158
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png") pictureList.kif 8554-8554 "http://upload.wikimedia.org/wikipedia/en/0/0b/GreaterThanOrEqualTo.png" is a URL depicting irreflexive relation
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") pictureList.kif 9362-9362 "http://upload.wikimedia.org/wikipedia/en/5/59/GreaterThan.png" is a URL depicting irreflexive relation
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2155-2155 Irreflexive relation is a subclass of binary relation

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


(instance BackFn IrreflexiveRelation) Merge.kif 859-859 Back is an instance of irreflexive relation
(instance FrontFn IrreflexiveRelation) Merge.kif 837-837 Front is an instance of irreflexive relation
(instance ancestor IrreflexiveRelation) Merge.kif 15059-15059 ancestor is an instance of irreflexive relation
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 21930-21930 ancestor organization is an instance of irreflexive relation
(instance attribute IrreflexiveRelation) Merge.kif 1623-1623 attribute is an instance of irreflexive relation
(instance before IrreflexiveRelation) Merge.kif 7539-7539 before is an instance of irreflexive relation
(instance brother IrreflexiveRelation) Merge.kif 15209-15209 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 14810-14810 connected engineering components is an instance of irreflexive relation
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7420-7420 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 7667-7667 during is an instance of irreflexive relation
(instance earlier IrreflexiveRelation) Merge.kif 7712-7712 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 7519-7519 finishes is an instance of irreflexive relation
(instance graphPart IrreflexiveRelation) Merge.kif 5444-5444 graph part is an instance of irreflexive relation
(instance greaterThan IrreflexiveRelation) Merge.kif 1752-1752 greater than is an instance of irreflexive relation
(instance hinders IrreflexiveRelation) Merge.kif 4092-4092 hinders is an instance of irreflexive relation
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4010-4010 hindersSubclass is an instance of irreflexive relation
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8147-8147 hostile forces is an instance of irreflexive relation
(instance husband IrreflexiveRelation) Merge.kif 15278-15278 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 2992-2992 in list 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 2160-2164

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


(<=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2186-2190 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