typicalPart |
appearance as argument number 1 |
(documentation typicalPart EnglishLanguage "An instance of the first argument is typically found as part of an instance of the second argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such wholes typically have such parts.") | Mid-level-ontology.kif 23625-23628 | |
(domainSubclass typicalPart 1 Object) | Mid-level-ontology.kif 23629-23629 | The number 1 argument of typical part is a subclass of object |
(domainSubclass typicalPart 2 Object) | Mid-level-ontology.kif 23630-23630 | The number 2 argument of typical part is a subclass of object |
(instance typicalPart BinaryPredicate) | Mid-level-ontology.kif 23622-23622 | typical part is an instance of binary predicate |
(instance typicalPart SpatialRelation) | Mid-level-ontology.kif 23623-23623 | typical part is an instance of spatial relation |
(relatedInternalConcept typicalPart part) | Mid-level-ontology.kif 23624-23624 | typical part is internally related to part |
appearance as argument number 2 |
(format ChineseLanguage typicalPart "%1 typically 是 %2 的 part ") | domainEnglishFormat.kif 4850-4850 | |
(format ChineseTraditionalLanguage typicalPart "%1 typically 是 %2 的 part ") | domainEnglishFormat.kif 4849-4849 | |
(format EnglishLanguage typicalPart "a %1 is typically a part of a %2") | domainEnglishFormat.kif 4848-4848 | |
(relatedInternalConcept typicalTemporalPart typicalPart) | Cars.kif 1434-1434 | typical temporal part is internally related to typical part |
(relatedInternalConcept typicallyContainsPart typicalPart) | Cars.kif 347-347 | typically contains part is internally related to typical part |
(subrelation partTypes typicalPart) | Mid-level-ontology.kif 23750-23750 | part types is a subrelation of typical part |
(termFormat ChineseLanguage typicalPart "典型的部分") | domainEnglishFormat.kif 59756-59756 | |
(termFormat ChineseTraditionalLanguage typicalPart "典型的部分") | domainEnglishFormat.kif 59755-59755 | |
(termFormat EnglishLanguage typicalPart "typical part") | domainEnglishFormat.kif 59754-59754 |
antecedent |
consequent |
appearance as argument number 0 |