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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IrreflexiveRelation

Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(irreflexive relation)

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 2210-2211
(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 2208-2208 Irreflexive relation is a subclass of binary relation

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


(instance ancestor IrreflexiveRelation) Merge.kif 16200-16200 ancestor is an instance of irreflexive relation
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 24110-24110 ancestor organization is an instance of irreflexive relation
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10528-10528 antagonist muscles is an instance of irreflexive relation
(instance attribute IrreflexiveRelation) Merge.kif 1675-1675 attribute is an instance of irreflexive relation
(instance before IrreflexiveRelation) Merge.kif 8036-8036 before is an instance of irreflexive relation
(instance brother IrreflexiveRelation) Merge.kif 16353-16353 brother is an instance of irreflexive relation
(instance classmate IrreflexiveRelation) Mid-level-ontology.kif 16651-16651 classmate is an instance of irreflexive relation
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 16672-16672 colleague is an instance of irreflexive relation
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6451-6451 conjugate is an instance of irreflexive relation
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 15946-15946 connected engineering components is an instance of irreflexive relation
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7670-7670 customer is an instance of irreflexive relation
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2574-2574 decreases likelihood is an instance of irreflexive relation
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4544-4544 diplomatic relations is an instance of irreflexive relation
(instance disjointRelation IrreflexiveRelation) Merge.kif 411-411 disjoint relation is an instance of irreflexive relation
(instance during IrreflexiveRelation) Merge.kif 8244-8244 during is an instance of irreflexive relation
(instance earlier IrreflexiveRelation) Merge.kif 8306-8306 earlier is an instance of irreflexive relation
(instance exportPartner IrreflexiveRelation) Economy.kif 2381-2381 export partner is an instance of irreflexive relation
(instance finishes IrreflexiveRelation) Merge.kif 8006-8006 finishes is an instance of irreflexive relation
(instance graphPart IrreflexiveRelation) Merge.kif 5818-5818 graph part is an instance of irreflexive relation
(instance greaterThan IrreflexiveRelation) Merge.kif 1804-1804 greater than is an instance of irreflexive relation
(instance hinders IrreflexiveRelation) Merge.kif 4330-4330 hinders is an instance of irreflexive relation
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4248-4248 hinders subclass is an instance of irreflexive relation
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8381-8381 hostile forces is an instance of irreflexive relation
(instance husband IrreflexiveRelation) Merge.kif 16423-16423 husband is an instance of irreflexive relation
(instance importPartner IrreflexiveRelation) Economy.kif 2669-2669 import partner is an instance of irreflexive relation

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 2245-2249
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
        (not
            (?REL ?INST ?INST))))
Merge.kif 2213-2217

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


(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2239-2243


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