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 21889-21895
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 21897-21897 domainSubclass initialPart, 1 and Object
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 21898-21898 domainSubclass initialPart, 2 and Object
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 21886-21886 instance initialPart and BinaryPredicate
(instance initialPart SpatialRelation) Mid-level-ontology.kif 21887-21887 instance initialPart and SpatialRelation
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 21888-21888 relatedInternalConcept initialPart and part

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


(format ChineseLanguage initialPart "%每个 %1 是 %2 的 initially part ") domainEnglishFormat.kif 3711-3711
(format ChineseTraditionalLanguage initialPart "%每個 %1 是 %2 的 initially part ") domainEnglishFormat.kif 3710-3710
(format EnglishLanguage initialPart "every %1 is initially part of a %2") domainEnglishFormat.kif 3709-3709
(termFormat ChineseLanguage initialPart "初始部分") domainEnglishFormat.kif 30114-30114
(termFormat ChineseTraditionalLanguage initialPart "初始部分") domainEnglishFormat.kif 30113-30113
(termFormat EnglishLanguage initialPart "initial part") domainEnglishFormat.kif 30112-30112

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 21900-21909

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21911-21911 initialPart AnimalAnatomicalStructure and Animal
(initialPart AnimalShell Animal) Mid-level-ontology.kif 10113-10113 initialPart AnimalShell and Animal
(initialPart Bicep Arm) Mid-level-ontology.kif 9482-9482 initialPart Bicep and Arm
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 9500-9500 initialPart CalfMuscle and Leg
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 10894-10894 initialPart DigitAppendage and Limb
(initialPart EggYolk Egg) Food.kif 541-541 initialPart EggYolk and Egg
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 10257-10257 initialPart Exoskeleton and Animal
(initialPart Forearm Arm) Mid-level-ontology.kif 9529-9529 initialPart Forearm and Arm
(initialPart Hair Animal) Mid-level-ontology.kif 10321-10321 initialPart Hair and Animal
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 9515-9515 initialPart HamstringMuscle and Leg
(initialPart Juice FruitOrVegetable) Food.kif 592-592 initialPart Juice and FruitOrVegetable
(initialPart LatissimusDorsi Torso) Mid-level-ontology.kif 9474-9474 initialPart LatissimusDorsi and Torso
(initialPart LowerLeg Leg) Mid-level-ontology.kif 9544-9544 initialPart LowerLeg and Leg
(initialPart Mushroom Fungus) Food.kif 678-678 initialPart Mushroom and Fungus
(initialPart Pectoralis Chest) Mid-level-ontology.kif 9467-9467 initialPart Pectoralis and Chest
(initialPart Rib Chest) Mid-level-ontology.kif 9882-9882 initialPart Rib and Chest
(initialPart SalivaryGland Mouth) Mid-level-ontology.kif 10773-10773 initialPart SalivaryGland and Mouth
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 9507-9507 initialPart ShinMuscle and Leg
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 9492-9492 initialPart ThighMuscle and Leg
(initialPart Tricep Arm) Mid-level-ontology.kif 9487-9487 initialPart Tricep and Arm
(initialPart UpperArm Arm) Mid-level-ontology.kif 9534-9534 initialPart UpperArm and Arm
(initialPart UpperLeg Leg) Mid-level-ontology.kif 9539-9539 initialPart UpperLeg and Leg
(initialPart VocalCords Human) Mid-level-ontology.kif 738-738 initialPart VocalCords and Human
(initialPart VocalFold VocalCords) Mid-level-ontology.kif 749-749 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