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

Formal Language: 



KB Term:  Term intersection
English Word: 

  disjointRelation

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 413-415
No TPTP formula. May not be expressible in strict first order. Merge.kif 410-410 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 411-411 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 407-407 disjoint relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 408-408 disjoint relation is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 409-409 disjoint relation is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 412-412 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 445-451

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 417-422
No TPTP formula. May not be expressible in strict first order. Merge.kif 424-429
No TPTP formula. May not be expressible in strict first order. Merge.kif 431-436
No TPTP formula. May not be expressible in strict first order. Merge.kif 438-443

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23609-23609 ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 976-976 contains and part are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 4116-4116 crosses and connected are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2546-2546 decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 3938-3938 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7119-7119 disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7103-7103 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2544-2544 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2545-2545 increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 1680-1680 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 9473-9473 meets spatially and overlaps spatially are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22805-22805 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 2460-2460 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2459-2459 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2461-2461 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22820-22820 spouse and domestic partner are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 14132-14132 stays and home are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22790-22790 stranger and acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 673-673 sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 639-639 subsumed external concept and subsuming external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 637-637 synonymous external concept and subsumed external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 638-638 synonymous external concept and subsuming external concept are disjoint


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