| 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 24014-24020 | |
| (domainSubclass initiallyContainsPart 1 Object) | Mid-level-ontology.kif 24022-24022 | 最初包含部分 的 1 数量 是 客体 的 subclass |
| (domainSubclass initiallyContainsPart 2 Object) | Mid-level-ontology.kif 24023-24023 | 最初包含部分 的 2 数量 是 客体 的 subclass |
| (instance initiallyContainsPart BinaryPredicate) | Mid-level-ontology.kif 24011-24011 | 最初包含部分 是 二元谓语 的 instance |
| (instance initiallyContainsPart SpatialRelation) | Mid-level-ontology.kif 24012-24012 | 最初包含部分 是 空间关系 的 instance |
| (relatedInternalConcept initiallyContainsPart part) | Mid-level-ontology.kif 24013-24013 | 最初包含部分 和 部分 是 内部相关 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage initiallyContainsPart "%1 的例子总是 %2 的 initially part 的例子") | domainEnglishFormat.kif 3696-3696 | |
| (format ChineseTraditionalLanguage initiallyContainsPart "%1 的例子總是 %2 的 initially part 的例子") | domainEnglishFormat.kif 3695-3695 | |
| (format EnglishLanguage initiallyContainsPart "instance of %1 are always initially part of instances of %2") | domainEnglishFormat.kif 3694-3694 | |
| (relatedInternalConcept initialPart initiallyContainsPart) | Mid-level-ontology.kif 23986-23986 | 初始部分 和 最初包含部分 是 内部相关 |
| (termFormat ChineseLanguage initiallyContainsPart "最初包含部分") | domainEnglishFormat.kif 30149-30149 | 初始部分 和 最初包含部分 是 内部相关 |
| (termFormat ChineseTraditionalLanguage initiallyContainsPart "最初包含部分") | domainEnglishFormat.kif 30148-30148 | 初始部分 和 最初包含部分 是 内部相关 |
| (termFormat EnglishLanguage initiallyContainsPart "initially contains part") | domainEnglishFormat.kif 30147-30147 | 初始部分 和 最初包含部分 是 内部相关 |
| 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 24025-24033 |
| appearance as argument number 0 |
|
|
| (initiallyContainsPart Brain Human) | Mid-level-ontology.kif 23980-23980 | 脑 的例子总是 人类 的 initially part 的例子 |
| (initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 29832-29832 | ComputerKeyboard 的例子总是 Laptop 的 initially part 的例子 |
| (initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 29833-29833 | ComputerScreen 的例子总是 Laptop 的 initially part 的例子 |
| (initiallyContainsPart Heart Human) | Mid-level-ontology.kif 23981-23981 | 心 的例子总是 人类 的 initially part 的例子 |
| (initiallyContainsPart IDeviceHomeButton AppleIPad) | ComputingBrands.kif 3151-3151 | 主页按钮 的例子总是 iPad 的 initially part 的例子 |
| (initiallyContainsPart IDeviceHomeButton AppleIPhone) | ComputingBrands.kif 3150-3150 | 主页按钮 的例子总是 iPhone 的 initially part 的例子 |
| (initiallyContainsPart IDeviceHomeButton AppleIPod) | ComputingBrands.kif 3152-3152 | 主页按钮 的例子总是 iPod 的 initially part 的例子 |
|
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