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 21638-21644
(domainSubclass initiallyContainsPart 1 Object) Mid-level-ontology.kif 21646-21646 The number 1 argument of initially contains part is a subclass of object
(domainSubclass initiallyContainsPart 2 Object) Mid-level-ontology.kif 21647-21647 The number 2 argument of initially contains part is a subclass of object
(instance initiallyContainsPart BinaryPredicate) Mid-level-ontology.kif 21635-21635 initially contains part is an instance of binary predicate
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 21636-21636 initially contains part is an instance of spatial relation
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 21637-21637 initially contains part is internally related to part

appearance as argument number 2
-------------------------


(format EnglishLanguage initiallyContainsPart "instance of %1 are always initially part of instances of %2") domainEnglishFormat.kif 935-935
(termFormat EnglishLanguage initiallyContainsPart "initially contains part") domainEnglishFormat.kif 5436-5436 "initially contains part" is the printable form of initially contains part in english language

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 21649-21657

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


(=>
    (instance ?I AppleIPad)
    (exists (?B)
        (and
            (instance ?B IDeviceButton)
            (initiallyContainsPart ?B ?I))))
ComputingBrands.kif 2960-2965
(=>
    (instance ?I AppleIPhone)
    (exists (?B)
        (and
            (instance ?B IDeviceButton)
            (initiallyContainsPart ?B ?I))))
ComputingBrands.kif 2953-2958
(=>
    (instance ?I AppleIPod)
    (exists (?B)
        (and
            (instance ?B IDeviceButton)
            (initiallyContainsPart ?B ?I))))
ComputingBrands.kif 2967-2972

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


(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 27717-27717 Instance of ComputerKeyboard are always initially part of instances of Laptop
(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 27718-27718 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