Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  initiallyContainsPart

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 21676-21682
(domainSubclass initiallyContainsPart 1 Object) Mid-level-ontology.kif 21684-21684 The number 1 argument of initially contains part is a subclass of object
(domainSubclass initiallyContainsPart 2 Object) Mid-level-ontology.kif 21685-21685 The number 2 argument of initially contains part is a subclass of object
(instance initiallyContainsPart BinaryPredicate) Mid-level-ontology.kif 21673-21673 initially contains part is an instance of binary predicate
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 21674-21674 initially contains part is an instance of spatial relation
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 21675-21675 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 30034-30034
(termFormat ChineseTraditionalLanguage initiallyContainsPart "最初包含部分") domainEnglishFormat.kif 30033-30033
(termFormat EnglishLanguage initiallyContainsPart "initially contains part") domainEnglishFormat.kif 30032-30032

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 21687-21695

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


(=>
    (instance ?I AppleIPad)
    (exists (?B)
        (and
            (instance ?B IDeviceHomeButton)
            (initiallyContainsPart ?B ?I))))
ComputingBrands.kif 3128-3133
(=>
    (instance ?I AppleIPhone)
    (exists (?B)
        (and
            (instance ?B IDeviceHomeButton)
            (initiallyContainsPart ?B ?I))))
ComputingBrands.kif 3121-3126
(=>
    (instance ?I AppleIPod)
    (exists (?B)
        (and
            (instance ?B IDeviceHomeButton)
            (initiallyContainsPart ?B ?I))))
ComputingBrands.kif 3135-3140

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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