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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 23675-23681
(domainSubclass initiallyContainsPart 1 Object) Mid-level-ontology.kif 23683-23683 Le nombre 1 argument de initiallyContainsPart est une sous-classe de objet
(domainSubclass initiallyContainsPart 2 Object) Mid-level-ontology.kif 23684-23684 Le nombre 2 argument de initiallyContainsPart est une sous-classe de objet
(instance initiallyContainsPart BinaryPredicate) Mid-level-ontology.kif 23672-23672 initiallyContainsPart est une instance de pr�dicat binaire
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 23673-23673 initiallyContainsPart est une instance de relation spatial
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 23674-23674 initiallyContainsPart est reli� � l'int�rieur de SUMO � 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 30121-30121
(termFormat ChineseTraditionalLanguage initiallyContainsPart "最初包含部分") domainEnglishFormat.kif 30120-30120
(termFormat EnglishLanguage initiallyContainsPart "initially contains part") domainEnglishFormat.kif 30119-30119


        (initiallyContainsPart ?C2 ?C1)
        (instance ?WHOLE ?C1))
    (exists (?PART)
            (instance ?PART ?C2)
                    (WhenFn ?WHOLE))
                (part ?PART ?WHOLE)))))
Mid-level-ontology.kif 23686-23694

appearance as argument number 0

(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 29465-29465 initiallyContainsPart ComputerKeyboard and Laptop
(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 29466-29466 initiallyContainsPart ComputerScreen and Laptop
(initiallyContainsPart IDeviceHomeButton AppleIPad) ComputingBrands.kif 3151-3151 initiallyContainsPart IDeviceHomeButton and AppleIPad
(initiallyContainsPart IDeviceHomeButton AppleIPhone) ComputingBrands.kif 3150-3150 initiallyContainsPart IDeviceHomeButton and AppleIPhone
(initiallyContainsPart IDeviceHomeButton AppleIPod) ComputingBrands.kif 3152-3152 initiallyContainsPart IDeviceHomeButton and AppleIPod

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