Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - initiallyContainsPart
initiallyContainsPart

appearance as argument number 1
-------------------------


(instance initiallyContainsPart BinaryPredicate) Mid-level-ontology.kif 26046-26046 initially contains part is an instance of binary predicate
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 26048-26048 initially contains part is internally related to part
(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 26049-26055 initially contains part is internally related to part
(domainSubclass initiallyContainsPart 1 Object) Mid-level-ontology.kif 26057-26057 The number 1 argument of initially contains part is a subclass of object
(domainSubclass initiallyContainsPart 2 Object) Mid-level-ontology.kif 26058-26058 The number 2 argument of initially contains part is a subclass of object

appearance as argument number 2
-------------------------


(relatedInternalConcept initialPart initiallyContainsPart) Mid-level-ontology.kif 26021-26021 initial part is internally related to initially contains part
(format EnglishLanguage initiallyContainsPart "instance of %1 are always initially part of instances of %2") domainEnglishFormat.kif 3698-3698 initial part is internally related to initially contains part
(format ChineseTraditionalLanguage initiallyContainsPart "%1 的例子總是 %2 的 initially part 的例子") domainEnglishFormat.kif 3699-3699 initial part is internally related to initially contains part
(format ChineseLanguage initiallyContainsPart "%1 的例子总是 %2 的 initially part 的例子") domainEnglishFormat.kif 3700-3700 initial part is internally related to initially contains part
(termFormat EnglishLanguage initiallyContainsPart "initially contains part") domainEnglishFormat.kif 30117-30117 initial part is internally related to initially contains part
(termFormat ChineseTraditionalLanguage initiallyContainsPart "最初包含部分") domainEnglishFormat.kif 30118-30118 initial part is internally related to initially contains part
(termFormat ChineseLanguage initiallyContainsPart "最初包含部分") domainEnglishFormat.kif 30119-30119 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 26060-26068 If instance of X are always initially part of instances of Y and Z is an instance of Y, then there exists W such that W is an instance of X and W is a part of Z holds during the beginning of the time of existence of Z

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


(initiallyContainsPart Brain Human) Mid-level-ontology.kif 26015-26015 Instance of brain are always initially part of instances of human
(initiallyContainsPart Heart Human) Mid-level-ontology.kif 26016-26016 Instance of heart are always initially part of instances of human
(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 32164-32164 Instance of computer screen are always initially part of instances of laptop
(initiallyContainsPart ComputerKeyboard Laptop) ComputerInput.kif 176-176 Instance of computer keyboard are always initially part of instances of laptop
(initiallyContainsPart IDeviceHomeButton AppleIPhone) ComputingBrands.kif 3057-3057 Instance of home button are always initially part of instances of iPhone
(initiallyContainsPart IDeviceHomeButton AppleIPad) ComputingBrands.kif 3058-3058 Instance of home button are always initially part of instances of iPad
(initiallyContainsPart IDeviceHomeButton AppleIPod) ComputingBrands.kif 3059-3059 Instance of home button are always initially part of instances of iPod
(initiallyContainsPart FlightWing Airplane) Transportation.kif 3346-3346 Instance of flight wing are always initially part of instances of airplane


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners