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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - disjointRelation
disjointRelation

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 463-464
No TPTP formula. May not be expressible in strict first order. Merge.kif 460-462
No TPTP formula. May not be expressible in strict first order. Merge.kif 457-457 The number 1 argument of disjoint relation is an instance of relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 458-458 The number 2 argument of disjoint relation is an instance of relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 454-454 disjoint relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 455-455 disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 456-456 disjoint relation is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 459-459 disjoint relation is internally related to disjoint

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 289-289
No TPTP formula. May not be expressible in strict first order. english_format.kif 177-177
No TPTP formula. May not be expressible in strict first order. french_format.kif 167-167
No TPTP formula. May not be expressible in strict first order. relations-it.txt 77-77
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 119-119
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 112-112
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 111-111
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 183-183
No TPTP formula. May not be expressible in strict first order. relations-de.txt 376-376
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 117-117
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 170-170
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 290-290 "不相交关系" is the printable form of disjoint relation in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3731-3731 "disjoint relation" is the printable form of disjoint relation in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 562-562 "«هما مُنْفَصِلان»" is the printable form of disjoint relation in ar

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 494-501

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 466-471
No TPTP formula. May not be expressible in strict first order. Merge.kif 473-478
No TPTP formula. May not be expressible in strict first order. Merge.kif 480-485
No TPTP formula. May not be expressible in strict first order. Merge.kif 487-492

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21541-21541 ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 1028-1028 contains and part are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 4305-4305 crosses and connected are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2750-2750 decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 4121-4121 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7138-7138 disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7122-7122 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2748-2748 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2749-2749 increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 1765-1765 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 9456-9456 meets spatially and overlaps spatially are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20875-20875 mutual stranger and mutual acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2651-2651 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2650-2650 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2652-2652 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20890-20890 spouse and domestic partner are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 14299-14299 stays and home are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20860-20860 stranger and acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 703-703 sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 664-664 subsumed external concept and subsuming external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 662-662 synonymous external concept and subsumed external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 663-663 synonymous external concept and subsuming external concept are disjoint


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners