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 415-417
No TPTP formula. May not be expressible in strict first order. Merge.kif 412-412 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 413-413 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 409-409 disjoint relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 410-410 disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 411-411 disjoint relation is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 414-414 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. chinese_format.kif 290-290
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19851-19851
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19850-19850
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19849-19849

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 447-453

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


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
No TPTP formula. May not be expressible in strict first order. Merge.kif 440-445

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23694-23694 ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 978-978 contains and part are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 4118-4118 crosses and connected are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2548-2548 decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 3940-3940 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7154-7154 disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7138-7138 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2546-2546 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2547-2547 increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 1682-1682 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 9478-9478 meets spatially and overlaps spatially are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22890-22890 mutual stranger and mutual acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1647-1647 referee and plays are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2462-2462 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2461-2461 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2463-2463 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22905-22905 spouse and domestic partner are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 14148-14148 stays and home are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22875-22875 stranger and acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 675-675 sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 641-641 subsumed external concept and subsuming external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 639-639 synonymous external concept and subsumed external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 640-640 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