initiallyContainsPart - Sigma Knowledge base Browser

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 25391-25397
(domainSubclass initiallyContainsPart 1 Object)	Mid-level-ontology.kif 25399-25399	The number 1 argument of initially contains part is a subclass of object
(domainSubclass initiallyContainsPart 2 Object)	Mid-level-ontology.kif 25400-25400	The number 2 argument of initially contains part is a subclass of object
(instance initiallyContainsPart BinaryPredicate)	Mid-level-ontology.kif 25388-25388	initially contains part is an instance of binary predicate
(instance initiallyContainsPart SpatialRelation)	Mid-level-ontology.kif 25389-25389	initially contains part is an instance of spatial relation
(relatedInternalConcept initiallyContainsPart part)	Mid-level-ontology.kif 25390-25390	initially contains part is internally related to part

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

If instance of a kind of object are always initially part of instances of another kind of object and a physical is an instance of another kind of object,
then there exists an entity such that the entity is an instance of a kind of object and the entity is a part of the physical holds during the beginning of the time of existence of the physical

appearance as argument number 0

(initiallyContainsPart Brain Human)	Mid-level-ontology.kif 25357-25357	Instance of brain are always initially part of instances of human
(initiallyContainsPart ComputerKeyboard Laptop)	Mid-level-ontology.kif 31226-31226	Instance of computer keyboard are always initially part of instances of laptop
(initiallyContainsPart ComputerScreen Laptop)	Mid-level-ontology.kif 31227-31227	Instance of computer screen are always initially part of instances of laptop
(initiallyContainsPart Heart Human)	Mid-level-ontology.kif 25358-25358	Instance of heart are always initially part of instances of human
(initiallyContainsPart IDeviceHomeButton AppleIPad)	ComputingBrands.kif 3147-3147	Instance of home button are always initially part of instances of iPad
(initiallyContainsPart IDeviceHomeButton AppleIPhone)	ComputingBrands.kif 3146-3146	Instance of home button are always initially part of instances of iPhone
(initiallyContainsPart IDeviceHomeButton AppleIPod)	ComputingBrands.kif 3148-3148	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

KB Term:			Term intersection

English Word: