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 2198-2199
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png") pictureList.kif 8552-8552
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") pictureList.kif 9358-9358
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2196-2196

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


(instance ancestor IrreflexiveRelation) Merge.kif 15688-15688
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 23435-23435
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10040-10040
(instance attribute IrreflexiveRelation) Merge.kif 1659-1659
(instance before IrreflexiveRelation) Merge.kif 7851-7851
(instance brother IrreflexiveRelation) Merge.kif 15841-15841
(instance classmate IrreflexiveRelation) Mid-level-ontology.kif 16084-16084
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 16105-16105
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6136-6136
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 15439-15439
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7361-7361
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2556-2556
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4520-4520
(instance disjointRelation IrreflexiveRelation) Merge.kif 409-409
(instance during IrreflexiveRelation) Merge.kif 7980-7980
(instance earlier IrreflexiveRelation) Merge.kif 8027-8027
(instance exportPartner IrreflexiveRelation) Economy.kif 2374-2374
(instance finishes IrreflexiveRelation) Merge.kif 7831-7831
(instance graphPart IrreflexiveRelation) Merge.kif 5654-5654
(instance greaterThan IrreflexiveRelation) Merge.kif 1792-1792
(instance hinders IrreflexiveRelation) Merge.kif 4272-4272
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4190-4190
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8001-8001
(instance husband IrreflexiveRelation) Merge.kif 15911-15911
(instance importPartner IrreflexiveRelation) Economy.kif 2661-2661

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 2201-2205

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


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


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