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

Formal Language: 



KB Term:  Term intersection
English Word: 

  initialPart

Sigma KEE - initialPart
initialPart

appearance as argument number 1
-------------------------


(documentation initialPart EnglishLanguage "Every instance of the first argument is initially found as part of an instance of the second argument, even though it might lose that part later in its lifetime. While the part must initially exist as part of a whole, this does not say that each whole necessarily initially contains such a part. For example, a thumb must at some time have been part of a hand, but every hand need not have a thumb, even at birth. This is a class-level relation roughly corresponding to part.") Mid-level-ontology.kif 21580-21586
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 21588-21588
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 21589-21589
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 21577-21577
(instance initialPart SpatialRelation) Mid-level-ontology.kif 21578-21578
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 21579-21579

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


(format EnglishLanguage initialPart "every %1 is initially part of a %2") domainEnglishFormat.kif 936-936
(termFormat EnglishLanguage initialPart "initial part") domainEnglishFormat.kif 5438-5438

antecedent
-------------------------


(=>
    (and
        (initialPart ?C2 ?C1)
        (instance ?PART ?C2))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?C1)
            (holdsDuring
                (BeginFn
                    (WhenFn ?PART))
                (part ?PART ?WHOLE)))))
Mid-level-ontology.kif 21591-21600

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21602-21602
(initialPart AnimalShell Animal) Mid-level-ontology.kif 9750-9750
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 10224-10224
(initialPart EggYolk Egg) Food.kif 586-586
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 9892-9892
(initialPart Hair Animal) Mid-level-ontology.kif 9955-9955
(initialPart Juice FruitOrVegetable) Food.kif 637-637
(initialPart Mushroom Fungus) Food.kif 720-720
(initialPart VocalCords Human) Mid-level-ontology.kif 1184-1184


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