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

Formal Language: 



KB Term:  Term intersection
English Word: 

  initialPart

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 23699-23705
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 23707-23707 The number 1 argument of initial part is a subclass of object
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 23708-23708 The number 2 argument of initial part is a subclass of object
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 23696-23696 initial part is an instance of binary predicate
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23697-23697 initial part is an instance of spatial relation
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 23698-23698 initial part is internally related to part

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


(format ChineseLanguage initialPart "%每个 %1 是 %2 的 initially part ") domainEnglishFormat.kif 3706-3706
(format ChineseTraditionalLanguage initialPart "%每個 %1 是 %2 的 initially part ") domainEnglishFormat.kif 3705-3705
(format EnglishLanguage initialPart "every %1 is initially part of a %2") domainEnglishFormat.kif 3704-3704
(termFormat ChineseLanguage initialPart "初始部分") domainEnglishFormat.kif 30127-30127
(termFormat ChineseTraditionalLanguage initialPart "初始部分") domainEnglishFormat.kif 30126-30126
(termFormat EnglishLanguage initialPart "initial part") domainEnglishFormat.kif 30125-30125

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 23710-23719
(=>
    (and
        (instance ?NUCLEUS ?CLASS)
        (subclass ?CLASS CellNucleus)
        (initialPart ?CLASS EukaryoticCell))
    (exists (?CHROMOTIN)
        (and
            (instance ?CHROMOTIN Chromotin)
            (part ?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))
Food.kif 1633-1639
(=>
    (initialPart DairyArtifact ?CLASS)
    (equal ?CLASS Milk))
Food.kif 2822-2824
(=>
    (initialPart Tea ?TEA)
    (or
        (equal ?TEA TeaBud)
        (equal ?TEA TeaLeaf)
        (equal ?TEA TeaTwig)))
Food.kif 1809-1814

consequent
-------------------------


(=>
    (and
        (equal ?AF
            (OrganicObjectFn ?F))
        (subclass ?AF AnimalFat)
        (subclass ?F FatTissue))
    (initialPart ?F Animal))
Food.kif 2876-2882
(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))
Economy.kif 4629-4634
(=>
    (and
        (equal ?C
            (OrganicObjectFn ?S))
        (subclass ?C CocoaBean)
        (subclass ?S Seed))
    (initialPart ?S CocoaTree))
Economy.kif 4693-4699
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?G))
        (subclass ?M Malt)
        (subclass ?G CerealGrain))
    (initialPart ?G CerealGrass))
Economy.kif 4166-4172
(=>
    (and
        (equal ?O
            (OrganicObjectFn ?S))
        (subclass ?O OilFromPlant)
        (or
            (subclass ?S Seed)
            (subclass ?S Fruit)))
    (exists (?P)
        (and
            (subclass ?P FloweringPlant)
            (initialPart ?S ?P))))
Economy.kif 4532-4543
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))
Food.kif 2906-2914
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Lambskin)
        (subclass ?O Skin))
    (initialPart ?O Lamb))
Economy.kif 5041-5046
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))
Economy.kif 5051-5056
(=>
    (and
        (equal ?T
            (OrganicObjectFn ?S))
        (subclass ?T TeaPlantAerialPart)
        (subclass ?S PlantStem))
    (initialPart ?S TeaPlant))
Economy.kif 4715-4721
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BalsaWood)
        (subclass ?S PlantStem))
    (initialPart ?S BalsaTree))
Economy.kif 5296-5301
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BeechWood)
        (subclass ?S PlantStem))
    (initialPart ?S BeechTree))
Economy.kif 5306-5311
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BirchWood)
        (subclass ?S PlantStem))
    (initialPart ?S BirchTree))
Economy.kif 5316-5321
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CedarWood)
        (subclass ?S PlantStem))
    (initialPart ?S CedarTree))
Economy.kif 5421-5426
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CherryWood)
        (subclass ?S PlantStem))
    (or
        (initialPart ?S BlackCherryTree)
        (initialPart ?S SweetCherryTree)))
Economy.kif 5326-5333
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W FirWood)
        (subclass ?S PlantStem))
    (initialPart ?S FirTree))
Economy.kif 5431-5436
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Hardwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S DeciduousTree) Likely))
Economy.kif 5284-5291
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W LarchWood)
        (subclass ?S PlantStem))
    (initialPart ?S LarchTree))
Economy.kif 5441-5446
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W MapleWood)
        (subclass ?S PlantStem))
    (initialPart ?S MapleTree))
Economy.kif 5338-5343
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W OkoumeWood)
        (subclass ?S PlantStem))
    (initialPart ?S OkoumeTree))
Economy.kif 5348-5353
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PineWood)
        (subclass ?S PlantStem))
    (initialPart ?S PineTree))
Economy.kif 5461-5466
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PoplarWood)
        (subclass ?S PlantStem))
    (initialPart ?S PoplarTree))
Economy.kif 5358-5363
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W RedOakWood)
        (subclass ?S PlantStem))
    (initialPart ?S RedOakTree))
Economy.kif 5368-5373
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SapeleWood)
        (subclass ?S PlantStem))
    (initialPart ?S SapeleTree))
Economy.kif 5378-5383
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Softwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S Conifers) Likely))
Economy.kif 5409-5416
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SpruceWood)
        (subclass ?S PlantStem))
    (initialPart ?S SpruceTree))
Economy.kif 5451-5456

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23721-23721 Every animal anatomical structure is initially part of a animal
(initialPart AnimalShell Animal) Mid-level-ontology.kif 11529-11529 Every animal shell is initially part of a animal
(initialPart ArmBone Arm) Anatomy.kif 688-688 Every arm bone is initially part of a arm
(initialPart AvocadoOil Avocado) Economy.kif 4583-4583 Every avocado oil is initially part of a avocado
(initialPart BarleyGrain BarleyGrass) Economy.kif 4130-4130 Every barley grain is initially part of a barley grass
(initialPart Bicep Arm) Mid-level-ontology.kif 10783-10783 Every bicep is initially part of a arm
(initialPart Bone Primate) Anatomy.kif 21-21 Every bone is initially part of a primate
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10801-10801 Every gastrocnemius is initially part of a leg
(initialPart Chocolate CocoaBean) Food.kif 2439-2439 Every chocolate is initially part of a cocoa bean
(initialPart CocoaButter CocoaLiquor) Food.kif 2492-2492 Every cocoa butter is initially part of a cocoa liquor
(initialPart CocoaSolid CocoaLiquor) Food.kif 2484-2484 Every cocoa solid is initially part of a cocoa liquor
(initialPart CoconutOil Coconut) Economy.kif 4580-4580 Every coconut oil is initially part of a coconut
(initialPart Coffee CoffeeBean) Food.kif 634-634 Every coffee is initially part of a coffee bean
(initialPart CommonWheatFlour CommonWheatGrain) Food.kif 1507-1507 Every common wheat flour is initially part of a common wheat grain
(initialPart CornFlour MaizeGrain) Food.kif 1547-1547 Every corn flour is initially part of a maize grain
(initialPart Cornea Eye) Mid-level-ontology.kif 12135-12135 Every cornea is initially part of a eye
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 12505-12505 Every digit appendage is initially part of a limb
(initialPart DurumWheatFlour DurumWheatGrain) Food.kif 1517-1517 Every durum wheat flour is initially part of a durum wheat grain
(initialPart EggYolk Egg) Food.kif 2547-2547 Every egg yolk is initially part of a egg
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 11673-11673 Every exoskeleton is initially part of a animal
(initialPart Eyebrow Head) Anatomy.kif 1438-1438 Every eyebrow is initially part of a head
(initialPart FingerBone Hand) Anatomy.kif 880-880 Every finger bone is initially part of a hand
(initialPart FleshOrPulp FruitOrVegetable) Food.kif 2311-2311 Every flesh or pulp is initially part of a fruit or vegetable
(initialPart FoodBone Foot) Anatomy.kif 1102-1102 Every FoodBone is initially part of a foot
(initialPart Forearm Arm) Mid-level-ontology.kif 10830-10830 Every forearm is initially part of a arm

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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