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 23648-23654
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 23656-23656
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 23657-23657
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 23645-23645
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23646-23646
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 23647-23647

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


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

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 23659-23668

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23670-23670
(initialPart AnimalShell Animal) Mid-level-ontology.kif 11375-11375
(initialPart Bicep Arm) Mid-level-ontology.kif 10650-10650
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10668-10668
(initialPart Cornea Eye) Mid-level-ontology.kif 11981-11981
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 12352-12352
(initialPart EggYolk Egg) Food.kif 523-523
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 11519-11519
(initialPart Forearm Arm) Mid-level-ontology.kif 10697-10697
(initialPart Hair Animal) Mid-level-ontology.kif 11630-11630
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10683-10683
(initialPart Juice FruitOrVegetable) Food.kif 574-574
(initialPart LatissimusDorsi Torso) Mid-level-ontology.kif 10642-10642
(initialPart LowerLeg Leg) Mid-level-ontology.kif 10712-10712
(initialPart Mushroom Fungus) Food.kif 660-660
(initialPart Pectoralis Chest) Mid-level-ontology.kif 10635-10635
(initialPart Rib Chest) Mid-level-ontology.kif 11102-11102
(initialPart SalivaryGland Mouth) Mid-level-ontology.kif 12157-12157
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 10675-10675
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10660-10660
(initialPart Tricep Arm) Mid-level-ontology.kif 10655-10655
(initialPart UpperArm Arm) Mid-level-ontology.kif 10702-10702
(initialPart UpperLeg Leg) Mid-level-ontology.kif 10707-10707
(initialPart VocalCords Human) Mid-level-ontology.kif 760-760
(initialPart VocalFold VocalCords) Mid-level-ontology.kif 771-771

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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