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 21649-21655
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 21657-21657 domainSubclass initialPart, 1 and Object
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 21658-21658 domainSubclass initialPart, 2 and Object
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 21646-21646 instance initialPart and BinaryPredicate
(instance initialPart SpatialRelation) Mid-level-ontology.kif 21647-21647 instance initialPart and SpatialRelation
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 21648-21648 relatedInternalConcept initialPart and 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 30046-30046
(termFormat ChineseTraditionalLanguage initialPart "初始部分") domainEnglishFormat.kif 30045-30045
(termFormat EnglishLanguage initialPart "initial part") domainEnglishFormat.kif 30044-30044

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 21660-21669

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21671-21671 initialPart AnimalAnatomicalStructure and Animal
(initialPart AnimalShell Animal) Mid-level-ontology.kif 9747-9747 initialPart AnimalShell and Animal
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 10222-10222 initialPart DigitAppendage and Limb
(initialPart EggYolk Egg) Food.kif 541-541 initialPart EggYolk and Egg
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 9889-9889 initialPart Exoskeleton and Animal
(initialPart Hair Animal) Mid-level-ontology.kif 9952-9952 initialPart Hair and Animal
(initialPart Juice FruitOrVegetable) Food.kif 592-592 initialPart Juice and FruitOrVegetable
(initialPart Mushroom Fungus) Food.kif 675-675 initialPart Mushroom and Fungus
(initialPart VocalCords Human) Mid-level-ontology.kif 1183-1183 initialPart VocalCords and Human
(initialPart VocalFold VocalCords) Mid-level-ontology.kif 1194-1194 initialPart VocalFold and VocalCords


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 3.0 is open source software produced by Articulate Software and its partners