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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2165-2166
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png") pictureList.kif 8553-8553
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") pictureList.kif 9361-9361
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2163-2163

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


(instance ancestor IrreflexiveRelation) Merge.kif 15571-15571
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 22354-22354
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 9363-9363
(instance attribute IrreflexiveRelation) Merge.kif 1626-1626
(instance before IrreflexiveRelation) Merge.kif 7810-7810
(instance brother IrreflexiveRelation) Merge.kif 15724-15724
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 5912-5912
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 15322-15322
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7073-7073
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2523-2523
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4507-4507
(instance disjointRelation IrreflexiveRelation) Merge.kif 409-409
(instance during IrreflexiveRelation) Merge.kif 7939-7939
(instance earlier IrreflexiveRelation) Merge.kif 7986-7986
(instance exportPartner IrreflexiveRelation) Economy.kif 2374-2374
(instance finishes IrreflexiveRelation) Merge.kif 7790-7790
(instance graphPart IrreflexiveRelation) Merge.kif 5619-5619
(instance greaterThan IrreflexiveRelation) Merge.kif 1759-1759
(instance hinders IrreflexiveRelation) Merge.kif 4238-4238
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4156-4156
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 7691-7691
(instance husband IrreflexiveRelation) Merge.kif 15794-15794
(instance importPartner IrreflexiveRelation) Economy.kif 2661-2661
(instance inList IrreflexiveRelation) Merge.kif 2998-2998
(instance increasesLikelihood IrreflexiveRelation) Merge.kif 2503-2503

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 2168-2172

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


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


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