No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24119-24119 |
ancestor organization and sub organization are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1018-1018 |
contains and part are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4200-4200 |
crosses and connected are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2600-2600 |
decreases likelihood and independent probability are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4013-4013 |
deprives norm and confers norm are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7411-7411 |
disapproves and desires are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7395-7395 |
dislikes and wants are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2598-2598 |
increases likelihood and decreases likelihood are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2599-2599 |
increases likelihood and independent probability are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1734-1734 |
manner and attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9574-9574 |
meets spatially and overlap spatially are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23307-23307 |
mutual stranger and mutual acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1679-1679 |
referee and plays are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2514-2514 |
resource and instrument are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2513-2513 |
resource and result are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2515-2515 |
result and instrument are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23322-23322 |
spouse and domestic partner are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14363-14363 |
stays and home are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23292-23292 |
stranger and acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 684-684 |
sub attribute and successor attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 643-643 |
subsumed external concept and subsuming external concept are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 641-641 |
synonymous external concept and subsumed external concept are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 642-642 |
synonymous external concept and subsuming external concept are disjoint |