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 2162-2163
(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 2160-2160

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


(instance ancestor IrreflexiveRelation) Merge.kif 15223-15223
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 20467-20467
(instance attribute IrreflexiveRelation) Merge.kif 1624-1624
(instance before IrreflexiveRelation) Merge.kif 7691-7691
(instance brother IrreflexiveRelation) Merge.kif 15376-15376
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 5585-5585
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 14974-14974
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 6725-6725
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2520-2520
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4507-4507
(instance disjointRelation IrreflexiveRelation) Merge.kif 409-409
(instance during IrreflexiveRelation) Merge.kif 7820-7820
(instance earlier IrreflexiveRelation) Merge.kif 7865-7865
(instance exportPartner IrreflexiveRelation) Economy.kif 2374-2374
(instance finishes IrreflexiveRelation) Merge.kif 7671-7671
(instance graphPart IrreflexiveRelation) Merge.kif 5582-5582
(instance greaterThan IrreflexiveRelation) Merge.kif 1757-1757
(instance hinders IrreflexiveRelation) Merge.kif 4235-4235
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4153-4153
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 7311-7311
(instance husband IrreflexiveRelation) Merge.kif 15446-15446
(instance importPartner IrreflexiveRelation) Economy.kif 2661-2661
(instance inList IrreflexiveRelation) Merge.kif 2995-2995
(instance increasesLikelihood IrreflexiveRelation) Merge.kif 2500-2500
(instance inverse IrreflexiveRelation) Merge.kif 105-105

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 2165-2169

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


(<=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2191-2195


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