| 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 21612-21615 | |
| (domainSubclass typicallyContainsPart 1 Object) | Mid-level-ontology.kif 21616-21616 | |
| (domainSubclass typicallyContainsPart 2 Object) | Mid-level-ontology.kif 21617-21617 | |
| (instance typicallyContainsPart BinaryPredicate) | Mid-level-ontology.kif 21609-21609 | |
| (instance typicallyContainsPart SpatialRelation) | Mid-level-ontology.kif 21610-21610 | |
| (relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 21611-21611 | |
| (relatedInternalConcept typicallyContainsPart typicalPart) | Cars.kif 347-347 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage typicallyContainsPart "%2 typically 有 part %1 ") | domainEnglishFormat.kif 4851-4851 | |
| (format ChineseTraditionalLanguage typicallyContainsPart "%2 typically 有 part %1 ") | domainEnglishFormat.kif 4850-4850 | |
| (format EnglishLanguage typicallyContainsPart "a %2 typically has a part %1") | domainEnglishFormat.kif 4849-4849 | |
| (relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) | Cars.kif 1470-1470 | |
| (termFormat ChineseLanguage typicallyContainsPart "通常包含部分") | domainEnglishFormat.kif 59658-59658 | |
| (termFormat ChineseTraditionalLanguage typicallyContainsPart "通常包含部分") | domainEnglishFormat.kif 59657-59657 | |
| (termFormat EnglishLanguage typicallyContainsPart "typically contains part") | domainEnglishFormat.kif 59656-59656 |
| 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 21627-21644 | |
| (=> (typicallyContainsPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X)))) |
Mid-level-ontology.kif 21619-21625 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners