No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23557-23557 |
ancestor organization and sub organization are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 945-945 |
contains and part are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4068-4068 |
crosses and connected are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2512-2512 |
decreases likelihood and independent probability are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3890-3890 |
deprives norm and confers norm are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7089-7089 |
disapproves and desires are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7073-7073 |
dislikes and wants are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2510-2510 |
increases likelihood and decreases likelihood are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2511-2511 |
increases likelihood and independent probability are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1648-1648 |
manner and attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9218-9218 |
meets spatially and overlaps spatially are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22753-22753 |
mutual stranger and mutual acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1648-1648 |
referee and plays are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2426-2426 |
resource and instrument are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2425-2425 |
resource and result are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2427-2427 |
result and instrument are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22768-22768 |
spouse and domestic partner are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13790-13790 |
stays and home are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22738-22738 |
stranger and acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 655-655 |
sub attribute and successor attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 621-621 |
subsumed external concept and subsuming external concept are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 619-619 |
synonymous external concept and subsumed external concept are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 620-620 |
synonymous external concept and subsuming external concept are disjoint |