(disjointRelation ancestorOrganization subOrganization) |
Mid-level-ontology.kif 21971-21971 |
ancestor organization and sub organization are disjoint |
(disjointRelation contains part) |
Merge.kif 943-943 |
contains and part are disjoint |
(disjointRelation crosses connected) |
Merge.kif 4048-4048 |
crosses and connected are disjoint |
(disjointRelation decreasesLikelihood independentProbability) |
Merge.kif 2501-2501 |
decreases likelihood and independent probability are disjoint |
(disjointRelation deprivesNorm confersNorm) |
Merge.kif 3870-3870 |
deprives norm and confers norm are disjoint |
(disjointRelation disapproves desires) |
Mid-level-ontology.kif 7123-7123 |
disapproves and desires are disjoint |
(disjointRelation dislikes wants) |
Mid-level-ontology.kif 7107-7107 |
dislikes and wants are disjoint |
(disjointRelation increasesLikelihood decreasesLikelihood) |
Merge.kif 2499-2499 |
increases likelihood and decreases likelihood are disjoint |
(disjointRelation increasesLikelihood independentProbability) |
Merge.kif 2500-2500 |
increases likelihood and independent probability are disjoint |
(disjointRelation manner attribute) |
Merge.kif 1638-1638 |
manner and attribute are disjoint |
(disjointRelation meetsSpatially overlapsSpatially) |
Merge.kif 8998-8998 |
meets spatially and overlaps spatially are disjoint |
(disjointRelation mutualStranger mutualAcquaintance) |
Mid-level-ontology.kif 21305-21305 |
mutual stranger and mutual acquaintance are disjoint |
(disjointRelation referee plays) |
ComputingBrands.kif 1654-1654 |
referee and plays are disjoint |
(disjointRelation resource instrument) |
Merge.kif 2415-2415 |
resource and instrument are disjoint |
(disjointRelation resource result) |
Merge.kif 2414-2414 |
resource and result are disjoint |
(disjointRelation result instrument) |
Merge.kif 2416-2416 |
result and instrument are disjoint |
(disjointRelation spouse domesticPartner) |
Mid-level-ontology.kif 21320-21320 |
spouse and domestic partner are disjoint |
(disjointRelation stays home) |
Merge.kif 13358-13358 |
stays and home are disjoint |
(disjointRelation stranger acquaintance) |
Mid-level-ontology.kif 21290-21290 |
stranger and acquaintance are disjoint |
(disjointRelation subAttribute successorAttribute) |
Merge.kif 655-655 |
sub attribute and successor attribute are disjoint |
(disjointRelation subsumedExternalConcept subsumingExternalConcept) |
Merge.kif 621-621 |
subsumed external concept and subsuming external concept are disjoint |
(disjointRelation synonymousExternalConcept subsumedExternalConcept) |
Merge.kif 619-619 |
synonymous external concept and subsumed external concept are disjoint |
(disjointRelation synonymousExternalConcept subsumingExternalConcept) |
Merge.kif 620-620 |
synonymous external concept and subsuming external concept are disjoint |