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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 24014-24020
(domainSubclass initiallyContainsPart 1 Object) Mid-level-ontology.kif 24022-24022 The number 1 argument of initially contains part is a subclass of object
(domainSubclass initiallyContainsPart 2 Object) Mid-level-ontology.kif 24023-24023 The number 2 argument of initially contains part is a subclass of object
(instance initiallyContainsPart BinaryPredicate) Mid-level-ontology.kif 24011-24011 initially contains part is an instance of binary predicate
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 24012-24012 initially contains part is an instance of spatial relation
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 24013-24013 initially contains part is internally related to part

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 initial part is internally related to initially contains part
(termFormat ChineseLanguage initiallyContainsPart "最初包含部分") domainEnglishFormat.kif 30144-30144 initial part is internally related to initially contains part
(termFormat ChineseTraditionalLanguage initiallyContainsPart "最初包含部分") domainEnglishFormat.kif 30143-30143 initial part is internally related to initially contains part
(termFormat EnglishLanguage initiallyContainsPart "initially contains part") domainEnglishFormat.kif 30142-30142 initial part is internally related to initially contains part

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 Instance of brain are always initially part of instances of human
(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 29832-29832 Instance of computer keyboard are always initially part of instances of laptop
(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 29833-29833 Instance of computer screen are always initially part of instances of laptop
(initiallyContainsPart Heart Human) Mid-level-ontology.kif 23981-23981 Instance of heart are always initially part of instances of human
(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


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