Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  initiallyContainsPart

Sigma KEE - initiallyContainsPart
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 23783-23789
(domainSubclass initiallyContainsPart 1 Object) Mid-level-ontology.kif 23791-23791 域子類 最初包含部分, 1 and Object
(domainSubclass initiallyContainsPart 2 Object) Mid-level-ontology.kif 23792-23792 域子類 最初包含部分, 2 and Object
(instance initiallyContainsPart BinaryPredicate) Mid-level-ontology.kif 23780-23780 最初包含部分 and BinaryPredicate
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 23781-23781 最初包含部分 and SpatialRelation
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 23782-23782 相關的內部概念 最初包含部分 and 部分

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
(relatedInternalConcept initialPart initiallyContainsPart) Mid-level-ontology.kif 23755-23755 相關的內部概念 初始部分 and 最初包含部分
(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 23794-23802

appearance as argument number 0
-------------------------


(initiallyContainsPart Brain Human) Mid-level-ontology.kif 23749-23749 的例子總是 Humaninitially part 的例子
(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 29599-29599 ComputerKeyboard 的例子總是 Laptopinitially part 的例子
(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 29600-29600 ComputerScreen 的例子總是 Laptopinitially part 的例子
(initiallyContainsPart Heart Human) Mid-level-ontology.kif 23750-23750 的例子總是 Humaninitially part 的例子
(initiallyContainsPart IDeviceHomeButton AppleIPad) ComputingBrands.kif 3151-3151 主頁按鈕 的例子總是 iPadinitially part 的例子
(initiallyContainsPart IDeviceHomeButton AppleIPhone) ComputingBrands.kif 3150-3150 主頁按鈕 的例子總是 iPhoneinitially part 的例子
(initiallyContainsPart IDeviceHomeButton AppleIPod) ComputingBrands.kif 3152-3152 主頁按鈕 的例子總是 iPodinitially part 的例子


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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