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. chinese_format.kif 1502-1503
No TPTP formula. May not be expressible in strict first order. Merge.kif 408-410
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 65-67
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 75-77
No TPTP formula. May not be expressible in strict first order. Merge.kif 405-405 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 406-406 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 402-402 disjoint relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 403-403 disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 404-404 disjoint relation is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 407-407 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 294-294
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. japanese_format.kif 1987-1987
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. 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-ro.kif 187-187
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 174-174
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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19869-19869
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19868-19868
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19867-19867
No TPTP formula. May not be expressible in strict first order. terms-de.txt 117-117

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 440-446

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 412-417
No TPTP formula. May not be expressible in strict first order. Merge.kif 419-424
No TPTP formula. May not be expressible in strict first order. Merge.kif 426-431
No TPTP formula. May not be expressible in strict first order. Merge.kif 433-438

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25816-25816 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 4225-4225 crosses and connected are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2611-2611 decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 4029-4029 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8604-8604 disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8588-8588 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2609-2609 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2610-2610 increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 1744-1744 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 9710-9710 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24999-24999 mutual stranger and mutual acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1679-1679 referee and plays are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2525-2525 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2524-2524 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2526-2526 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25014-25014 spouse and domestic partner are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 14546-14546 stays and home are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24984-24984 stranger and acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 677-677 sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 636-636 subsumed external concept and subsuming external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 634-634 synonymous external concept and subsumed external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 635-635 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 3.0 is open source software produced by Articulate Software and its partners