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 25292-25295 | |
(domainSubclass typicallyContainsPart 1 Object) | Mid-level-ontology.kif 25296-25296 | The number 1 argument of typicallyContainsPart is a subclass of object |
(domainSubclass typicallyContainsPart 2 Object) | Mid-level-ontology.kif 25297-25297 | The number 2 argument of typicallyContainsPart is a subclass of object |
(instance typicallyContainsPart BinaryPredicate) | Mid-level-ontology.kif 25288-25288 | typicallyContainsPart is an instance of binary predicate |
(instance typicallyContainsPart SpatialRelation) | Mid-level-ontology.kif 25289-25289 | typicallyContainsPart is an instance of spatial relation |
(relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 25290-25290 | typicallyContainsPart is internally related to part |
(relatedInternalConcept typicallyContainsPart typicalPart) | Cars.kif 347-347 | typicallyContainsPart is internally related to typicalPart |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |