| appearance as argument number 1 |
|
| (documentation initiallyContainsPart EnglishLanguage "Every instance of the second argument initially contains an instance of the first argument, even though it might lose that part later in its lifetime. Every normal human starts life with an appendix for example. While the whole must initially contain such a part, this does not say that each part necessarily initially exists as part of such a whole. This is a class-level relation roughly corresponding to part.") | Mid-level-ontology.kif 20163-20169 | |
| (domainSubclass initiallyContainsPart 1 Object) | Mid-level-ontology.kif 20171-20171 | |
| (domainSubclass initiallyContainsPart 2 Object) | Mid-level-ontology.kif 20172-20172 | |
| (instance initiallyContainsPart BinaryPredicate) | Mid-level-ontology.kif 20160-20160 | |
| (instance initiallyContainsPart SpatialRelation) | Mid-level-ontology.kif 20161-20161 | |
| (relatedInternalConcept initiallyContainsPart part) | Mid-level-ontology.kif 20162-20162 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage initiallyContainsPart "%1 的例子总是 %2 的 initially part 的例子") | domainEnglishFormat.kif 3707-3707 | |
| (format ChineseTraditionalLanguage initiallyContainsPart "%1 的例子總是 %2 的 initially part 的例子") | domainEnglishFormat.kif 3706-3706 | |
| (format EnglishLanguage initiallyContainsPart "instance of %1 are always initially part of instances of %2") | domainEnglishFormat.kif 3705-3705 | |
| (termFormat ChineseLanguage initiallyContainsPart "最初包含部分") | domainEnglishFormat.kif 30102-30102 | |
| (termFormat ChineseTraditionalLanguage initiallyContainsPart "最初包含部分") | domainEnglishFormat.kif 30101-30101 | |
| (termFormat EnglishLanguage initiallyContainsPart "initially contains part") | domainEnglishFormat.kif 30100-30100 |
| antecedent |
|
|
| (=> (and (initiallyContainsPart ?C2 ?C1) (instance ?WHOLE ?C1)) (exists (?PART) (and (instance ?PART ?C2) (holdsDuring (BeginFn (WhenFn ?WHOLE)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 20174-20182 |
| consequent |
|
|
| (=> (instance ?I AppleIPad) (exists (?B) (and (instance ?B IDeviceHomeButton) (initiallyContainsPart ?B ?I)))) |
ComputingBrands.kif 3116-3121 | |
| (=> (instance ?I AppleIPhone) (exists (?B) (and (instance ?B IDeviceHomeButton) (initiallyContainsPart ?B ?I)))) |
ComputingBrands.kif 3109-3114 | |
| (=> (instance ?I AppleIPod) (exists (?B) (and (instance ?B IDeviceHomeButton) (initiallyContainsPart ?B ?I)))) |
ComputingBrands.kif 3123-3128 |
| appearance as argument number 0 |
|
|
| (initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 25782-25782 | |
| (initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 25783-25783 |
|
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