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 25372-25378
(domainSubclass initiallyContainsPart 1 Object)	Mid-level-ontology.kif 25380-25380	initiallyContainsPart の数値 1 引数はオブジェクトのsubclass では
(domainSubclass initiallyContainsPart 2 Object)	Mid-level-ontology.kif 25381-25381	initiallyContainsPart の数値 2 引数はオブジェクトのsubclass では
(instance initiallyContainsPart BinaryPredicate)	Mid-level-ontology.kif 25369-25369	initiallyContainsPart は 2進述語の instance では
(instance initiallyContainsPart SpatialRelation)	Mid-level-ontology.kif 25370-25370	initiallyContainsPart は空間的関係の instance では
(relatedInternalConcept initiallyContainsPart part)	Mid-level-ontology.kif 25371-25371	initiallyContainsPart は part に internally 関連して

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 25344-25344	initialPart は initiallyContainsPart に internally 関連して
(termFormat ChineseLanguage initiallyContainsPart "最初包含部分")	domainEnglishFormat.kif 30126-30126	initialPart は initiallyContainsPart に internally 関連して
(termFormat ChineseTraditionalLanguage initiallyContainsPart "最初包含部分")	domainEnglishFormat.kif 30125-30125	initialPart は initiallyContainsPart に internally 関連して
(termFormat EnglishLanguage initiallyContainsPart "initially contains part")	domainEnglishFormat.kif 30124-30124	initialPart は initiallyContainsPart に internally 関連して

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 25383-25391

initiallyContainsPart オブジェクト and オブジェクト物理はオブジェクトの instance では
エンティティーエンティティーはオブジェクトの instance ではエンティティーは物理の part ではは物理の time の existence の beginning の during holds

appearance as argument number 0

(initiallyContainsPart Brain Human)	Mid-level-ontology.kif 25338-25338	initiallyContainsPart Brain and 人［人間］
(initiallyContainsPart ComputerKeyboard Laptop)	Mid-level-ontology.kif 31467-31467	initiallyContainsPart ComputerKeyboard and Laptop
(initiallyContainsPart ComputerScreen Laptop)	Mid-level-ontology.kif 31468-31468	initiallyContainsPart ComputerScreen and Laptop
(initiallyContainsPart Heart Human)	Mid-level-ontology.kif 25339-25339	initiallyContainsPart Heart and 人［人間］
(initiallyContainsPart IDeviceHomeButton AppleIPad)	ComputingBrands.kif 3147-3147	initiallyContainsPart ホームボタン and iPad
(initiallyContainsPart IDeviceHomeButton AppleIPhone)	ComputingBrands.kif 3146-3146	initiallyContainsPart ホームボタン and iPhone
(initiallyContainsPart IDeviceHomeButton AppleIPod)	ComputingBrands.kif 3148-3148	initiallyContainsPart ホームボタン and 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: