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 23756-23762
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 23764-23764 初始部分 的 1 数量 是 客体subclass
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 23765-23765 初始部分 的 2 数量 是 客体subclass
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 23752-23752 初始部分二元谓语instance
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23753-23753 初始部分空间关系instance
(relatedInternalConcept initialPart initiallyContainsPart) Mid-level-ontology.kif 23755-23755 初始部分最初包含部分 是 内部相关
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 23754-23754 初始部分部分 是 内部相关

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 23767-23776
(=>
    (and
        (instance ?NUCLEUS ?CLASS)
        (subclass ?CLASS CellNucleus)
        (initialPart ?CLASS EukaryoticCell))
    (exists (?CHROMOTIN)
        (and
            (instance ?CHROMOTIN Chromotin)
            (part ?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 599-607
(=>
    (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 23778-23778 %每个 动物解剖结构动物initially part
(initialPart AnimalShell Animal) Mid-level-ontology.kif 11556-11556 %每个 动物壳动物initially part
(initialPart ArmBone Arm) Anatomy.kif 688-688 %每个 ArmBoneinitially part
(initialPart AvocadoOil Avocado) Economy.kif 4583-4583 %每个 AvocadoOil鳄梨initially part
(initialPart BarleyGrain BarleyGrass) Economy.kif 4130-4130 %每个 大麦籽粒BarleyGrassinitially part
(initialPart Bicep Arm) Mid-level-ontology.kif 10810-10810 %每个 Bicepinitially part
(initialPart Bone Primate) Anatomy.kif 21-21 %每个 骨骼灵长类动物initially part
(initialPart BoneMarrow Bone) Medicine.kif 1221-1221 %每个 BoneMarrow骨骼initially part
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10828-10828 %每个 CalfMuscleinitially part
(initialPart Chocolate CocoaBean) Food.kif 2439-2439 %每个 Chocolate可可豆initially part
(initialPart CocoaButter CocoaLiquor) Food.kif 2492-2492 %每个 可可脂CocoaLiquorinitially part
(initialPart CocoaSolid CocoaLiquor) Food.kif 2484-2484 %每个 可可粉CocoaLiquorinitially part
(initialPart CoconutOil Coconut) Economy.kif 4580-4580 %每个 CoconutOil椰子initially part
(initialPart Coffee CoffeeBean) Food.kif 634-634 %每个 咖啡咖啡豆initially part
(initialPart CommonWheatFlour CommonWheatGrain) Food.kif 1507-1507 %每个 CommonWheatFlourCommonWheatGraininitially part
(initialPart CornFlour MaizeGrain) Food.kif 1547-1547 %每个 CornFlour玉米粒initially part
(initialPart Cornea Eye) Mid-level-ontology.kif 12162-12162 %每个 Cornea眼睛initially part
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 12532-12532 %每个 数字附属物initially part
(initialPart DurumWheatFlour DurumWheatGrain) Food.kif 1517-1517 %每个 DurumWheatFlourDurumWheatGraininitially part
(initialPart EggYolk Egg) Food.kif 2547-2547 %每个 EggYolkinitially part
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 11700-11700 %每个 外骨骼动物initially part
(initialPart Eyebrow Head) Anatomy.kif 1438-1438 %每个 Eyebrowinitially part
(initialPart FingerBone Hand) Anatomy.kif 880-880 %每个 FingerBoneinitially part
(initialPart FleshOrPulp FruitOrVegetable) Food.kif 2311-2311 %每个 FleshOrPulp水果或蔬菜initially part
(initialPart FoodBone Foot) Anatomy.kif 1102-1102 %每个 FoodBoneinitially part

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