TreeView Knowledge Base Browser - 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 24046-24052
(domainSubclass initiallyContainsPart 1 Object)	Mid-level-ontology.kif 24054-24054	最初包含部分的 1 数量是客体的 subclass
(domainSubclass initiallyContainsPart 2 Object)	Mid-level-ontology.kif 24055-24055	最初包含部分的 2 数量是客体的 subclass
(instance initiallyContainsPart BinaryPredicate)	Mid-level-ontology.kif 24043-24043	最初包含部分是二元谓语的 instance
(instance initiallyContainsPart SpatialRelation)	Mid-level-ontology.kif 24044-24044	最初包含部分是空间关系的 instance
(relatedInternalConcept initiallyContainsPart part)	Mid-level-ontology.kif 24045-24045	最初包含部分和部分是内部相关

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 24018-24018	初始部分和最初包含部分是内部相关
(termFormat ChineseLanguage initiallyContainsPart "最初包含部分")	domainEnglishFormat.kif 30144-30144	初始部分和最初包含部分是内部相关
(termFormat ChineseTraditionalLanguage initiallyContainsPart "最初包含部分")	domainEnglishFormat.kif 30143-30143	初始部分和最初包含部分是内部相关
(termFormat EnglishLanguage initiallyContainsPart "initially contains part")	domainEnglishFormat.kif 30142-30142	初始部分和最初包含部分是内部相关

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 24057-24065

如果有点客体的例子总是另一个有点客体的 initially part 的例子和物理是另一个有点客体的 instance，
然后有存在实体这样那个实体是有点客体的 instance 和那个实体是那个物理的 part 在那个物理出现的 time 的开始 holdsDuring

appearance as argument number 0

(initiallyContainsPart Brain Human)	Mid-level-ontology.kif 24012-24012	脑的例子总是人类的 initially part 的例子
(initiallyContainsPart ComputerKeyboard Laptop)	Mid-level-ontology.kif 29864-29864	ComputerKeyboard 的例子总是 Laptop 的 initially part 的例子
(initiallyContainsPart ComputerScreen Laptop)	Mid-level-ontology.kif 29865-29865	ComputerScreen 的例子总是 Laptop 的 initially part 的例子
(initiallyContainsPart Heart Human)	Mid-level-ontology.kif 24013-24013	心的例子总是人类的 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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: