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 25304-25307 | |
(domainSubclass typicallyContainsPart 1 Object) | Mid-level-ontology.kif 25308-25308 | typicallyContainsPart の数値 1 引数は オブジェクト のsubclass では |
(domainSubclass typicallyContainsPart 2 Object) | Mid-level-ontology.kif 25309-25309 | typicallyContainsPart の数値 2 引数は オブジェクト のsubclass では |
(instance typicallyContainsPart BinaryPredicate) | Mid-level-ontology.kif 25300-25300 | typicallyContainsPart は 2進述語 の instance では |
(instance typicallyContainsPart SpatialRelation) | Mid-level-ontology.kif 25301-25301 | typicallyContainsPart は 空間的関係 の instance では |
(relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 25302-25302 | typicallyContainsPart は part に internally 関連して |
(relatedInternalConcept typicallyContainsPart typicalPart) | Cars.kif 347-347 | typicallyContainsPart は typicalPart に internally 関連して |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (typicallyContainsPart ?PART ?WHOLE) (instance ?Y ?WHOLE) (equal ?PARTPROB (ProbabilityFn (exists (?X1) (and (instance ?X1 ?PART) (part ?X1 ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?X2) (and (instance ?X2 ?PART) (part ?X2 ?Y))))))) (greaterThan ?PARTPROB ?NOTPARTPROB)) |
Mid-level-ontology.kif 25319-25336 | |
(=> (typicallyContainsPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X)))) |
Mid-level-ontology.kif 25311-25317 |
appearance as argument number 0 |
![]() |
![]() |
![]() |