No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21541-21541 |
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 4305-4305 |
crosses and connected are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2750-2750 |
decreases likelihood and independent probability are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4121-4121 |
deprives norm and confers norm are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7138-7138 |
disapproves and desires are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7122-7122 |
dislikes and wants are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2748-2748 |
increases likelihood and decreases likelihood are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2749-2749 |
increases likelihood and independent probability are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1765-1765 |
manner and attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9456-9456 |
meets spatially and overlaps spatially are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20875-20875 |
mutual stranger and mutual acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2651-2651 |
resource and instrument are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2650-2650 |
resource and result are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2652-2652 |
result and instrument are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20890-20890 |
spouse and domestic partner are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14299-14299 |
stays and home are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20860-20860 |
stranger and acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 703-703 |
sub attribute and successor attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 664-664 |
subsumed external concept and subsuming external concept are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 662-662 |
synonymous external concept and subsumed external concept are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 663-663 |
synonymous external concept and subsuming external concept are disjoint |