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 23122-23128
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 23130-23130 The number 1 argument of initial part is a subclass of object
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 23131-23131 The number 2 argument of initial part is a subclass of object
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 23119-23119 initial part is an instance of binary predicate
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23120-23120 initial part is an instance of spatial relation
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 23121-23121 initial part is internally related to 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 23133-23142

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23144-23144 Every animal anatomical structure is initially part of a animal
(initialPart AnimalShell Animal) Mid-level-ontology.kif 11010-11010 Every animal shell is initially part of a animal
(initialPart Bicep Arm) Mid-level-ontology.kif 10287-10287 Every bicep is initially part of a arm
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10305-10305 Every gastrocnemius is initially part of a leg
(initialPart Cornea Eye) Mid-level-ontology.kif 11613-11613 Every cornea is initially part of a eye
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 11982-11982 Every digit appendage is initially part of a limb
(initialPart EggYolk Egg) Food.kif 523-523 Every EggYolk is initially part of a egg
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 11154-11154 Every exoskeleton is initially part of a animal
(initialPart Forearm Arm) Mid-level-ontology.kif 10334-10334 Every forearm is initially part of a arm
(initialPart Hair Animal) Mid-level-ontology.kif 11265-11265 Every hair is initially part of a animal
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10320-10320 Every hamstring muscle is initially part of a leg
(initialPart Juice FruitOrVegetable) Food.kif 574-574 Every Juice is initially part of a fruit or vegetable
(initialPart LatissimusDorsi Torso) Mid-level-ontology.kif 10279-10279 Every upper back muscle is initially part of a torso
(initialPart LowerLeg Leg) Mid-level-ontology.kif 10349-10349 Every lower leg is initially part of a leg
(initialPart Mushroom Fungus) Food.kif 660-660 Every Mushroom is initially part of a fungus
(initialPart Pectoralis Chest) Mid-level-ontology.kif 10272-10272 Every chest muscle is initially part of a chest
(initialPart Rib Chest) Mid-level-ontology.kif 10739-10739 Every rib is initially part of a chest
(initialPart SalivaryGland Mouth) Mid-level-ontology.kif 11789-11789 Every salivary gland is initially part of a mouth
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 10312-10312 Every tibialis anterior is initially part of a leg
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10297-10297 Every quadriceps is initially part of a leg
(initialPart Tricep Arm) Mid-level-ontology.kif 10292-10292 Every tricep is initially part of a arm
(initialPart UpperArm Arm) Mid-level-ontology.kif 10339-10339 Every upper arm is initially part of a arm
(initialPart UpperLeg Leg) Mid-level-ontology.kif 10344-10344 Every upper leg is initially part of a leg
(initialPart VocalCords Human) Mid-level-ontology.kif 754-754 Every VocalCords is initially part of a human
(initialPart VocalFold VocalCords) Mid-level-ontology.kif 765-765 Every VocalFold is initially part of a VocalCords

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