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 465-466
No TPTP formula. May not be expressible in strict first order. Merge.kif 462-464
No TPTP formula. May not be expressible in strict first order. Merge.kif 459-459 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 460-460 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 456-456 disjoint relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 457-457 disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 458-458 disjoint relation is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 461-461 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. 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 496-503

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 468-473
No TPTP formula. May not be expressible in strict first order. Merge.kif 475-480
No TPTP formula. May not be expressible in strict first order. Merge.kif 482-487
No TPTP formula. May not be expressible in strict first order. Merge.kif 489-494

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21933-21933 ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 1045-1045 contains and part are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 4336-4336 crosses and connected are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2773-2773 decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 4148-4148 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7142-7142 disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7126-7126 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2771-2771 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2772-2772 increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 1788-1788 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 9588-9588 meets spatially and overlaps spatially are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21267-21267 mutual stranger and mutual acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 691-691 referee and plays are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2674-2674 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2673-2673 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2675-2675 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21282-21282 spouse and domestic partner are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 14436-14436 stays and home are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21252-21252 stranger and acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 717-717 sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 678-678 subsumed external concept and subsuming external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 676-676 synonymous external concept and subsumed external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 677-677 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