typicallyContainsPart |
appearance as argument number 1 |
(documentation typicallyContainsPart EnglishLanguage "An instance of the second argument typically contains an instance of the first argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes.") | Mid-level-ontology.kif 23661-23664 | |
(domainSubclass typicallyContainsPart 1 Object) | Mid-level-ontology.kif 23665-23665 | The number 1 argument of typically contains part is a subclass of object |
(domainSubclass typicallyContainsPart 2 Object) | Mid-level-ontology.kif 23666-23666 | The number 2 argument of typically contains part is a subclass of object |
(instance typicallyContainsPart BinaryPredicate) | Mid-level-ontology.kif 23658-23658 | typically contains part is an instance of binary predicate |
(instance typicallyContainsPart SpatialRelation) | Mid-level-ontology.kif 23659-23659 | typically contains part is an instance of spatial relation |
(relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 23660-23660 | typically contains part is internally related to part |
(relatedInternalConcept typicallyContainsPart typicalPart) | Cars.kif 347-347 | typically contains part is internally related to typical part |
appearance as argument number 2 |
(format ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ") | domainEnglishFormat.kif 4846-4846 | |
(format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ") | domainEnglishFormat.kif 4845-4845 | |
(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1") | domainEnglishFormat.kif 4844-4844 | |
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) | Cars.kif 1474-1474 | typically contains temporal part is internally related to typically contains part |
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分") | domainEnglishFormat.kif 59750-59750 | |
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分") | domainEnglishFormat.kif 59749-59749 | |
(termFormat EnglishLanguage typicallyContainsPart "typically contains part") | domainEnglishFormat.kif 59748-59748 |
antecedent |
appearance as argument number 0 |