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 25268-25271 | |
(domainSubclass typicalPart 1 Object) | Mid-level-ontology.kif 25272-25272 | typicalPart の数値 1 引数は オブジェクト のsubclass では |
(domainSubclass typicalPart 2 Object) | Mid-level-ontology.kif 25273-25273 | typicalPart の数値 2 引数は オブジェクト のsubclass では |
(instance typicalPart BinaryPredicate) | Mid-level-ontology.kif 25265-25265 | typicalPart は 2進述語 の instance では |
(instance typicalPart SpatialRelation) | Mid-level-ontology.kif 25266-25266 | typicalPart は 空間的関係 の instance では |
(relatedInternalConcept typicalPart part) | Mid-level-ontology.kif 25267-25267 | typicalPart は part に internally 関連して |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (typicalPart ?PART ?WHOLE) (instance ?X ?PART) (equal ?PARTPROB (ProbabilityFn (exists (?Y) (and (instance ?Y ?WHOLE) (part ?X ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?Z) (and (instance ?Z ?WHOLE) (part ?X ?Z))))))) (greaterThan ?PARTPROB ?NOTPARTPROB)) |
Mid-level-ontology.kif 25283-25300 | |
(=> (typicalPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X)))) |
Mid-level-ontology.kif 25275-25281 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |