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 2191-2192
(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 2189-2189 Irreflexive relation is a subclass of binary relation

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


(instance ancestor IrreflexiveRelation) Merge.kif 16065-16065 ancestor is an instance of irreflexive relation
(instance ancestorOrganization IrreflexiveRelation) Mid-level-ontology.kif 23581-23581 ancestor organization is an instance of irreflexive relation
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10168-10168 antagonist muscles is an instance of irreflexive relation
(instance attribute IrreflexiveRelation) Merge.kif 1656-1656 attribute is an instance of irreflexive relation
(instance before IrreflexiveRelation) Merge.kif 8001-8001 before is an instance of irreflexive relation
(instance brother IrreflexiveRelation) Merge.kif 16218-16218 brother is an instance of irreflexive relation
(instance classmate IrreflexiveRelation) Mid-level-ontology.kif 16229-16229 classmate is an instance of irreflexive relation
(instance colleague IrreflexiveRelation) Mid-level-ontology.kif 16250-16250 colleague is an instance of irreflexive relation
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 6160-6160 conjugate is an instance of irreflexive relation
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 15811-15811 connected engineering components is an instance of irreflexive relation
(instance customer IrreflexiveRelation) Mid-level-ontology.kif 7385-7385 customer is an instance of irreflexive relation
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2555-2555 decreases likelihood is an instance of irreflexive relation
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4524-4524 diplomatic relations is an instance of irreflexive relation
(instance disjointRelation IrreflexiveRelation) Merge.kif 408-408 disjoint relation is an instance of irreflexive relation
(instance during IrreflexiveRelation) Merge.kif 8209-8209 during is an instance of irreflexive relation
(instance earlier IrreflexiveRelation) Merge.kif 8271-8271 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 7971-7971 finishes is an instance of irreflexive relation
(instance graphPart IrreflexiveRelation) Merge.kif 5785-5785 graph part is an instance of irreflexive relation
(instance greaterThan IrreflexiveRelation) Merge.kif 1785-1785 greater than is an instance of irreflexive relation
(instance hinders IrreflexiveRelation) Merge.kif 4299-4299 hinders is an instance of irreflexive relation
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4217-4217 hindersSubclass is an instance of irreflexive relation
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8025-8025 hostile forces is an instance of irreflexive relation
(instance husband IrreflexiveRelation) Merge.kif 16288-16288 husband is an instance of irreflexive relation
(instance importPartner IrreflexiveRelation) Economy.kif 2668-2668 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 2226-2230
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
        (not
            (?REL ?INST ?INST))))
Merge.kif 2194-2198

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


(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2220-2224


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