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 |