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 21703-21709
(domainSubclass initiallyContainsPart 1 Object) Mid-level-ontology.kif 21711-21711 domainSubclass initiallyContainsPart, 1 and Object
(domainSubclass initiallyContainsPart 2 Object) Mid-level-ontology.kif 21712-21712 domainSubclass initiallyContainsPart, 2 and Object
(instance initiallyContainsPart BinaryPredicate) Mid-level-ontology.kif 21700-21700 instance initiallyContainsPart and BinaryPredicate
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 21701-21701 instance initiallyContainsPart and SpatialRelation
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 21702-21702 relatedInternalConcept initiallyContainsPart and 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 21714-21722

consequent
-------------------------


(=>
    (instance ?I AppleIPad)
    (exists (?B)
        (and
            (instance ?B IDeviceHomeButton)
            (initiallyContainsPart ?B ?I))))
ComputingBrands.kif 3130-3135
(=>
    (instance ?I AppleIPhone)
    (exists (?B)
        (and
            (instance ?B IDeviceHomeButton)
            (initiallyContainsPart ?B ?I))))
ComputingBrands.kif 3123-3128
(=>
    (instance ?I AppleIPod)
    (exists (?B)
        (and
            (instance ?B IDeviceHomeButton)
            (initiallyContainsPart ?B ?I))))
ComputingBrands.kif 3137-3142