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)。") Merge.kif 2384-2385
(documentation IrreflexiveRelation EnglishLanguage "Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.") Merge.kif 2382-2383
(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 2381-2381 Irreflexive relation is a subclass of binary relation

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


(instance BackFn IrreflexiveRelation) Merge.kif 943-943 Back is an instance of irreflexive relation
(instance FrontFn IrreflexiveRelation) Merge.kif 917-917 Front is an instance of irreflexive relation
(instance ancestor IrreflexiveRelation) Merge.kif 16570-16570 ancestor is an instance of irreflexive relation
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 21929-21929 ancestor organization is an instance of irreflexive relation
(instance attribute IrreflexiveRelation) Merge.kif 1773-1773 attribute is an instance of irreflexive relation
(instance before IrreflexiveRelation) Merge.kif 8289-8289 before is an instance of irreflexive relation
(instance brother IrreflexiveRelation) Merge.kif 16735-16735 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 16273-16273 connected engineering components is an instance of irreflexive relation
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7419-7419 customer is an instance of irreflexive relation
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2790-2790 decreases likelihood is an instance of irreflexive relation
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4481-4481 diplomatic relations is an instance of irreflexive relation
(instance disjointRelation IrreflexiveRelation) Merge.kif 457-457 disjoint relation is an instance of irreflexive relation
(instance during IrreflexiveRelation) Merge.kif 8425-8425 during is an instance of irreflexive relation
(instance earlier IrreflexiveRelation) Merge.kif 8472-8472 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 8267-8267 finishes is an instance of irreflexive relation
(instance graphPart IrreflexiveRelation) Merge.kif 5991-5991 graph part is an instance of irreflexive relation
(instance greaterThan IrreflexiveRelation) Merge.kif 1910-1910 greater than is an instance of irreflexive relation
(instance hinders IrreflexiveRelation) Merge.kif 4512-4512 hinders is an instance of irreflexive relation
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4425-4425 hindersSubclass is an instance of irreflexive relation
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8145-8145 hostile forces is an instance of irreflexive relation
(instance husband IrreflexiveRelation) Merge.kif 16817-16817 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 3305-3305 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 2387-2391

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


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