No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21933-21933 |
ancestor organization and sub organization are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1045-1045 |
contains and part are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4336-4336 |
crosses and connected are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2773-2773 |
decreases likelihood and independent probability are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4148-4148 |
deprives norm and confers norm are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7142-7142 |
disapproves and desires are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7126-7126 |
dislikes and wants are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2771-2771 |
increases likelihood and decreases likelihood are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2772-2772 |
increases likelihood and independent probability are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1788-1788 |
manner and attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9588-9588 |
meets spatially and overlaps spatially are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21267-21267 |
mutual stranger and mutual acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 691-691 |
referee and plays are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2674-2674 |
resource and instrument are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2673-2673 |
resource and result are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2675-2675 |
result and instrument are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21282-21282 |
spouse and domestic partner are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14436-14436 |
stays and home are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21252-21252 |
stranger and acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 717-717 |
sub attribute and successor attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 678-678 |
subsumed external concept and subsuming external concept are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 676-676 |
synonymous external concept and subsumed external concept are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 677-677 |
synonymous external concept and subsuming external concept are disjoint |