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 25266-25269 | |
(domainSubclass typicalPart 1 Object) | Mid-level-ontology.kif 25270-25270 | The number 1 argument of typical part is a subclass of object |
(domainSubclass typicalPart 2 Object) | Mid-level-ontology.kif 25271-25271 | The number 2 argument of typical part is a subclass of object |
(instance typicalPart BinaryPredicate) | Mid-level-ontology.kif 25263-25263 | typical part is an instance of binary predicate |
(instance typicalPart SpatialRelation) | Mid-level-ontology.kif 25264-25264 | typical part is an instance of spatial relation |
(relatedInternalConcept typicalPart part) | Mid-level-ontology.kif 25265-25265 | typical part is internally related to part |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |