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 23662-23665 | |
(domainSubclass typicallyContainsPart 1 Object) | Mid-level-ontology.kif 23666-23666 | Die Zahl 1 Argument von typicallyContainsPart ist eine teilkategorie von Object %n{nicht} |
(domainSubclass typicallyContainsPart 2 Object) | Mid-level-ontology.kif 23667-23667 | Die Zahl 2 Argument von typicallyContainsPart ist eine teilkategorie von Object %n{nicht} |
(instance typicallyContainsPart BinaryPredicate) | Mid-level-ontology.kif 23659-23659 | typicallyContainsPart ist ein fall von BinaryPredicate %n{nicht} |
(instance typicallyContainsPart SpatialRelation) | Mid-level-ontology.kif 23660-23660 | typicallyContainsPart ist ein fall von SpatialRelation %n{nicht} |
(relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 23661-23661 | typicallyContainsPart ist innerlich verwandt mit teil %n{nicht} |
(relatedInternalConcept typicallyContainsPart typicalPart) | Cars.kif 347-347 | typicallyContainsPart ist innerlich verwandt mit typicalPart %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ") | domainEnglishFormat.kif 4846-4846 | |
(format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ") | domainEnglishFormat.kif 4845-4845 | |
(format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1") | domainEnglishFormat.kif 4844-4844 | |
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) | Cars.kif 1474-1474 | typicallyContainsTemporalPart ist innerlich verwandt mit typicallyContainsPart %n{nicht} |
(termFormat ChineseLanguage typicallyContainsPart "通常包含部分") | domainEnglishFormat.kif 59750-59750 | |
(termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分") | domainEnglishFormat.kif 59749-59749 | |
(termFormat EnglishLanguage typicallyContainsPart "typically contains part") | domainEnglishFormat.kif 59748-59748 |
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 23677-23694 |
|
(=> (typicallyContainsPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X)))) |
Mid-level-ontology.kif 23669-23675 |
|
appearance as argument number 0 |