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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 21612-21618
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 21620-21620 The number 1 argument of initial part is a subclass of object
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 21621-21621 The number 2 argument of initial part is a subclass of object
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 21609-21609 initial part is an instance of binary predicate
(instance initialPart SpatialRelation) Mid-level-ontology.kif 21610-21610 initial part is an instance of spatial relation
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 21611-21611 initial part is internally related to part

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


(format ChineseLanguage initialPart "%每个 %1 是 %2 的 initially part ") domainEnglishFormat.kif 3707-3707
(format ChineseTraditionalLanguage initialPart "%每個 %1 是 %2 的 initially part ") domainEnglishFormat.kif 3706-3706
(format EnglishLanguage initialPart "every %1 is initially part of a %2") domainEnglishFormat.kif 3705-3705
(termFormat ChineseLanguage initialPart "初始部分") domainEnglishFormat.kif 30031-30031 "初始部分" is the printable form of initial part in ChineseLanguage
(termFormat ChineseTraditionalLanguage initialPart "初始部分") domainEnglishFormat.kif 30030-30030 "初始部分" is the printable form of initial part in ChineseTraditionalLanguage
(termFormat EnglishLanguage initialPart "initial part") domainEnglishFormat.kif 30029-30029 "initial part" is the printable form of initial part in english language

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 21623-21632

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21634-21634 Every animal anatomical structure is initially part of a animal
(initialPart AnimalShell Animal) Mid-level-ontology.kif 9752-9752 Every animal shell is initially part of a animal
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 10226-10226 Every digit appendage is initially part of a limb
(initialPart EggYolk Egg) Food.kif 585-585 Every EggYolk is initially part of a egg
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 9894-9894 Every exoskeleton is initially part of a animal
(initialPart Hair Animal) Mid-level-ontology.kif 9957-9957 Every hair is initially part of a animal
(initialPart Juice FruitOrVegetable) Food.kif 636-636 Every Juice is initially part of a fruit or vegetable
(initialPart Mushroom Fungus) Food.kif 719-719 Every Mushroom is initially part of a fungus
(initialPart VocalCords Human) Mid-level-ontology.kif 1183-1183 Every VocalCords is initially part of a human


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