initiallyContainsPart |
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 23726-23732 | |
(domainSubclass initiallyContainsPart 1 Object) | Mid-level-ontology.kif 23734-23734 | The number 1 argument of initially contains part is a subclass of object |
(domainSubclass initiallyContainsPart 2 Object) | Mid-level-ontology.kif 23735-23735 | The number 2 argument of initially contains part is a subclass of object |
(instance initiallyContainsPart BinaryPredicate) | Mid-level-ontology.kif 23723-23723 | initially contains part is an instance of binary predicate |
(instance initiallyContainsPart SpatialRelation) | Mid-level-ontology.kif 23724-23724 | initially contains part is an instance of spatial relation |
(relatedInternalConcept initiallyContainsPart part) | Mid-level-ontology.kif 23725-23725 | initially contains part is internally related to part |
appearance as argument number 2 |
(format ChineseLanguage initiallyContainsPart "%1 的例子总是 %2 的 initially part 的例子") | domainEnglishFormat.kif 3702-3702 | |
(format ChineseTraditionalLanguage initiallyContainsPart "%1 的例子總是 %2 的 initially part 的例子") | domainEnglishFormat.kif 3701-3701 | |
(format EnglishLanguage initiallyContainsPart "instance of %1 are always initially part of instances of %2") | domainEnglishFormat.kif 3700-3700 | |
(termFormat ChineseLanguage initiallyContainsPart "最初包含部分") | domainEnglishFormat.kif 30115-30115 | |
(termFormat ChineseTraditionalLanguage initiallyContainsPart "最初包含部分") | domainEnglishFormat.kif 30114-30114 | |
(termFormat EnglishLanguage initiallyContainsPart "initially contains part") | domainEnglishFormat.kif 30113-30113 |
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 23737-23745 |
|
appearance as argument number 0 |
(initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 29548-29548 | Instance of computer keyboard are always initially part of instances of laptop |
(initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 29549-29549 | Instance of computer screen are always initially part of instances of laptop |
(initiallyContainsPart IDeviceHomeButton AppleIPad) | ComputingBrands.kif 3151-3151 | Instance of home button are always initially part of instances of iPad |
(initiallyContainsPart IDeviceHomeButton AppleIPhone) | ComputingBrands.kif 3150-3150 | Instance of home button are always initially part of instances of iPhone |
(initiallyContainsPart IDeviceHomeButton AppleIPod) | ComputingBrands.kif 3152-3152 | Instance of home button are always initially part of instances of iPod |