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 | Le nombre 1 argument de typicallyContainsPart est une sous-classe de objet |
(domainSubclass typicallyContainsPart 2 Object) | Mid-level-ontology.kif 25309-25309 | Le nombre 2 argument de typicallyContainsPart est une sous-classe de objet |
(instance typicallyContainsPart BinaryPredicate) | Mid-level-ontology.kif 25300-25300 | typicallyContainsPart est une instance de pr�dicat binaire |
(instance typicallyContainsPart SpatialRelation) | Mid-level-ontology.kif 25301-25301 | typicallyContainsPart est une instance de relation spatial |
(relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 25302-25302 | typicallyContainsPart est reli� � l'int�rieur de SUMO � part |
(relatedInternalConcept typicallyContainsPart typicalPart) | Cars.kif 347-347 | typicallyContainsPart est reli� � l'int�rieur de SUMO � typicalPart |
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 |
![]() |
![]() |
![]() |