No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23609-23609 |
ancestor organization and sub organization are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 976-976 |
contains and part are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4116-4116 |
crosses and connected are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2546-2546 |
decreases likelihood and independent probability are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3938-3938 |
deprives norm and confers norm are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7119-7119 |
disapproves and desires are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7103-7103 |
dislikes and wants are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2544-2544 |
increases likelihood and decreases likelihood are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2545-2545 |
increases likelihood and independent probability are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1680-1680 |
manner and attribute are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9473-9473 |
meets spatially and overlaps spatially are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22805-22805 |
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 2460-2460 |
resource and instrument are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2459-2459 |
resource and result are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2461-2461 |
result and instrument are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22820-22820 |
spouse and domestic partner are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14132-14132 |
stays and home are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22790-22790 |
stranger and acquaintance are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 673-673 |
sub attribute and successor attribute are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 639-639 |
subsumed external concept and subsuming external concept are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 637-637 |
synonymous external concept and subsumed external concept are disjoint |

No TPTP formula. May not be expressible in strict first order. |
Merge.kif 638-638 |
synonymous external concept and subsuming external concept are disjoint |