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

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

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

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

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

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

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

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

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

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

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

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

No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1654-1654 |
referee and plays are disjoint |

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

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

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

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

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

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

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

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

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

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