(disjointRelation ancestorOrganization subOrganization) |
Mid-level-ontology.kif 21946-21946 |
ancestor organization and sub organization are disjoint |
(disjointRelation contains part) |
Merge.kif 943-943 |
contains and part are disjoint |
(disjointRelation crosses connected) |
Merge.kif 4017-4017 |
crosses and connected are disjoint |
(disjointRelation decreasesLikelihood independentProbability) |
Merge.kif 2501-2501 |
decreases likelihood and independent probability are disjoint |
(disjointRelation deprivesNorm confersNorm) |
Merge.kif 3839-3839 |
deprives norm and confers norm are disjoint |
(disjointRelation disapproves desires) |
Mid-level-ontology.kif 7144-7144 |
disapproves and desires are disjoint |
(disjointRelation dislikes wants) |
Mid-level-ontology.kif 7128-7128 |
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 8965-8965 |
meets spatially and overlaps spatially are disjoint |
(disjointRelation mutualStranger mutualAcquaintance) |
Mid-level-ontology.kif 21280-21280 |
mutual stranger and mutual acquaintance are disjoint |
(disjointRelation referee plays) |
ComputingBrands.kif 1656-1656 |
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 21295-21295 |
spouse and domestic partner are disjoint |
(disjointRelation stays home) |
Merge.kif 13331-13331 |
stays and home are disjoint |
(disjointRelation stranger acquaintance) |
Mid-level-ontology.kif 21265-21265 |
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 |