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 25374-25380
(domainSubclass initiallyContainsPart 1 Object) Mid-level-ontology.kif 25382-25382
(domainSubclass initiallyContainsPart 2 Object) Mid-level-ontology.kif 25383-25383
(instance initiallyContainsPart BinaryPredicate) Mid-level-ontology.kif 25371-25371
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 25372-25372
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 25373-25373

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


(format ChineseLanguage initiallyContainsPart "%1 的例子总是 %2 的 initially part 的例子") domainEnglishFormat.kif 3700-3700
(format ChineseTraditionalLanguage initiallyContainsPart "%1 的例子總是 %2 的 initially part 的例子") domainEnglishFormat.kif 3699-3699
(format EnglishLanguage initiallyContainsPart "instance of %1 are always initially part of instances of %2") domainEnglishFormat.kif 3698-3698
(relatedInternalConcept initialPart initiallyContainsPart) Mid-level-ontology.kif 25346-25346
(termFormat ChineseLanguage initiallyContainsPart "最初包含部分") domainEnglishFormat.kif 30126-30126
(termFormat ChineseTraditionalLanguage initiallyContainsPart "最初包含部分") domainEnglishFormat.kif 30125-30125
(termFormat EnglishLanguage initiallyContainsPart "initially contains part") domainEnglishFormat.kif 30124-30124

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 25385-25393

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


(initiallyContainsPart Brain Human) Mid-level-ontology.kif 25340-25340
(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 31469-31469
(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 31470-31470
(initiallyContainsPart Heart Human) Mid-level-ontology.kif 25341-25341
(initiallyContainsPart IDeviceHomeButton AppleIPad) ComputingBrands.kif 3147-3147
(initiallyContainsPart IDeviceHomeButton AppleIPhone) ComputingBrands.kif 3146-3146
(initiallyContainsPart IDeviceHomeButton AppleIPod) ComputingBrands.kif 3148-3148


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