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 21651-21657
(domainSubclass initiallyContainsPart 1 Object)	Mid-level-ontology.kif 21659-21659	The number 1 argument of initially contains part is a subclass of object
(domainSubclass initiallyContainsPart 2 Object)	Mid-level-ontology.kif 21660-21660	The number 2 argument of initially contains part is a subclass of object
(instance initiallyContainsPart BinaryPredicate)	Mid-level-ontology.kif 21648-21648	initially contains part is an instance of binary predicate
(instance initiallyContainsPart SpatialRelation)	Mid-level-ontology.kif 21649-21649	initially contains part is an instance of spatial relation
(relatedInternalConcept initiallyContainsPart part)	Mid-level-ontology.kif 21650-21650	initially contains part is internally related to part

appearance as argument number 2

(format ChineseLanguage initiallyContainsPart "%1 的例子总是 %2 的 initially part 的例子")	domainEnglishFormat.kif 3703-3703
(format ChineseTraditionalLanguage initiallyContainsPart "%1 的例子總是 %2 的 initially part 的例子")	domainEnglishFormat.kif 3702-3702
(format EnglishLanguage initiallyContainsPart "instance of %1 are always initially part of instances of %2")	domainEnglishFormat.kif 3701-3701
(termFormat ChineseLanguage initiallyContainsPart "最初包含部分")	domainEnglishFormat.kif 30013-30013
(termFormat ChineseTraditionalLanguage initiallyContainsPart "最初包含部分")	domainEnglishFormat.kif 30012-30012
(termFormat EnglishLanguage initiallyContainsPart "initially contains part")	domainEnglishFormat.kif 30011-30011

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 21662-21670

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

consequent

(=> (instance ?I AppleIPad) (exists (?B) (and (instance ?B IDeviceHomeButton) (initiallyContainsPart ?B ?I))))	ComputingBrands.kif 3130-3135	If a kind of object is an instance of iPad, then there exists another kind of object such that another kind of object is an instance of home button and instance of the other kind of object are always initially part of instances of a kind of object
(=> (instance ?I AppleIPhone) (exists (?B) (and (instance ?B IDeviceHomeButton) (initiallyContainsPart ?B ?I))))	ComputingBrands.kif 3123-3128	If a kind of object is an instance of iPhone, then there exists another kind of object such that another kind of object is an instance of home button and instance of the other kind of object are always initially part of instances of a kind of object
(=> (instance ?I AppleIPod) (exists (?B) (and (instance ?B IDeviceHomeButton) (initiallyContainsPart ?B ?I))))	ComputingBrands.kif 3137-3142	If a kind of object is an instance of iPod, then there exists another kind of object such that another kind of object is an instance of home button and instance of the other kind of object are always initially part of instances of a kind of object

appearance as argument number 0

(initiallyContainsPart ComputerKeyboard Laptop)	Mid-level-ontology.kif 27723-27723	Instance of ComputerKeyboard are always initially part of instances of Laptop
(initiallyContainsPart ComputerScreen Laptop)	Mid-level-ontology.kif 27724-27724	Instance of ComputerScreen are always initially part of instances of Laptop

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: