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 2197-2198
(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 2195-2195

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


(instance ancestor IrreflexiveRelation) Merge.kif 16078-16078
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 23605-23605
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10172-10172
(instance attribute IrreflexiveRelation) Merge.kif 1662-1662
(instance before IrreflexiveRelation) Merge.kif 8007-8007
(instance brother IrreflexiveRelation) Merge.kif 16231-16231
(instance classmate IrreflexiveRelation) Mid-level-ontology.kif 16253-16253
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 16274-16274
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6164-6164
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 15824-15824
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7389-7389
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2561-2561
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4536-4536
(instance disjointRelation IrreflexiveRelation) Merge.kif 408-408
(instance during IrreflexiveRelation) Merge.kif 8215-8215
(instance earlier IrreflexiveRelation) Merge.kif 8277-8277
(instance exportPartner IrreflexiveRelation) Economy.kif 2381-2381
(instance finishes IrreflexiveRelation) Merge.kif 7977-7977
(instance graphPart IrreflexiveRelation) Merge.kif 5791-5791
(instance greaterThan IrreflexiveRelation) Merge.kif 1791-1791
(instance hinders IrreflexiveRelation) Merge.kif 4305-4305
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4223-4223
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8029-8029
(instance husband IrreflexiveRelation) Merge.kif 16301-16301
(instance importPartner IrreflexiveRelation) Economy.kif 2668-2668

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation))
    (instance ?REL AsymmetricRelation))
Merge.kif 2232-2236
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
        (not
            (?REL ?INST ?INST))))
Merge.kif 2200-2204

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


(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2226-2230


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