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 25364-25370
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 25372-25372 初始部分 的 1 数量 是 客体 的 subclass
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 25373-25373 初始部分 的 2 数量 是 客体 的 subclass
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 25360-25360 初始部分 是 二元谓语 的 instance
(instance initialPart SpatialRelation) Mid-level-ontology.kif 25361-25361 初始部分 是 空间关系 的 instance
(relatedInternalConcept initialPart initiallyContainsPart) Mid-level-ontology.kif 25363-25363 初始部分 和 最初包含部分 是 内部相关
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 25362-25362 初始部分 和 部分 是 内部相关

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


(format ChineseLanguage initialPart "%每个 %1 是 %2 的 initially part ") domainEnglishFormat.kif 3704-3704
(format ChineseTraditionalLanguage initialPart "%每個 %1 是 %2 的 initially part ") domainEnglishFormat.kif 3703-3703
(format EnglishLanguage initialPart "every %1 is initially part of a %2") domainEnglishFormat.kif 3702-3702
(termFormat ChineseLanguage initialPart "初始部分") domainEnglishFormat.kif 30155-30155
(termFormat ChineseTraditionalLanguage initialPart "初始部分") domainEnglishFormat.kif 30154-30154
(termFormat EnglishLanguage initialPart "initial part") domainEnglishFormat.kif 30153-30153

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 25375-25384
(=>
    (and
        (instance ?NUCLEUS ?CLASS)
        (subclass ?CLASS CellNucleus)
        (initialPart ?CLASS EukaryoticCell))
    (exists (?CHROMOTIN)
        (and
            (instance ?CHROMOTIN Chromotin)
            (part ?CHROMOTIN ?NUCLEUS))))		 VirusProteinAndCellPart.kif 605-613
(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))		 Food.kif 1639-1645
(=>
    (initialPart DairyArtifact ?CLASS)
    (equal ?CLASS Milk))		 Food.kif 2829-2831
(=>
    (initialPart Tea ?TEA)
    (or
        (equal ?TEA TeaBud)
        (equal ?TEA TeaLeaf)
        (equal ?TEA TeaTwig)))		 Food.kif 1815-1820

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


(=>
    (and
        (equal ?AF
            (OrganicObjectFn ?F))
        (subclass ?AF AnimalFat)
        (subclass ?F FatTissue))
    (initialPart ?F Animal))		 Food.kif 2883-2889
(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))		 Economy.kif 4967-4972
(=>
    (and
        (equal ?C
            (OrganicObjectFn ?S))
        (subclass ?C CocoaBean)
        (subclass ?S Seed))
    (initialPart ?S CocoaTree))		 Economy.kif 5031-5037
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?G))
        (subclass ?M Malt)
        (subclass ?G CerealGrain))
    (initialPart ?G CerealGrass))		 Economy.kif 4503-4509
(=>
    (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 4870-4881
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))		 Food.kif 2913-2921
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Lambskin)
        (subclass ?O Skin))
    (initialPart ?O Lamb))		 Economy.kif 5382-5387
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))		 Economy.kif 5392-5397
(=>
    (and
        (equal ?T
            (OrganicObjectFn ?S))
        (subclass ?T TeaPlantAerialPart)
        (subclass ?S PlantStem))
    (initialPart ?S TeaPlant))		 Economy.kif 5053-5059
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BalsaWood)
        (subclass ?S PlantStem))
    (initialPart ?S BalsaTree))		 Economy.kif 5637-5642
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BeechWood)
        (subclass ?S PlantStem))
    (initialPart ?S BeechTree))		 Economy.kif 5647-5652
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BirchWood)
        (subclass ?S PlantStem))
    (initialPart ?S BirchTree))		 Economy.kif 5657-5662
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CedarWood)
        (subclass ?S PlantStem))
    (initialPart ?S CedarTree))		 Economy.kif 5762-5767
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CherryWood)
        (subclass ?S PlantStem))
    (or
        (initialPart ?S BlackCherryTree)
        (initialPart ?S SweetCherryTree)))		 Economy.kif 5667-5674
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W FirWood)
        (subclass ?S PlantStem))
    (initialPart ?S FirTree))		 Economy.kif 5772-5777
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Hardwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S DeciduousTree) Likely))		 Economy.kif 5625-5632
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W LarchWood)
        (subclass ?S PlantStem))
    (initialPart ?S LarchTree))		 Economy.kif 5782-5787
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W MapleWood)
        (subclass ?S PlantStem))
    (initialPart ?S MapleTree))		 Economy.kif 5679-5684
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W OkoumeWood)
        (subclass ?S PlantStem))
    (initialPart ?S OkoumeTree))		 Economy.kif 5689-5694
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PineWood)
        (subclass ?S PlantStem))
    (initialPart ?S PineTree))		 Economy.kif 5803-5808
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PoplarWood)
        (subclass ?S PlantStem))
    (initialPart ?S PoplarTree))		 Economy.kif 5699-5704
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W RedOakWood)
        (subclass ?S PlantStem))
    (initialPart ?S RedOakTree))		 Economy.kif 5709-5714
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SapeleWood)
        (subclass ?S PlantStem))
    (initialPart ?S SapeleTree))		 Economy.kif 5719-5724
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Softwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S Conifers) Likely))		 Economy.kif 5750-5757
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SpruceWood)
        (subclass ?S PlantStem))
    (initialPart ?S SpruceTree))		 Economy.kif 5792-5797

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 25386-25386 %每个 动物解剖结构 是 动物 的 initially part
(initialPart AnimalShell Animal) Mid-level-ontology.kif 12878-12878 %每个 动物壳 是 动物 的 initially part
(initialPart ArmBone Arm) Anatomy.kif 703-703 %每个 ArmBone 是 臂 的 initially part
(initialPart AvocadoOil Avocado) Economy.kif 4921-4921 %每个 AvocadoOil 是 鳄梨 的 initially part
(initialPart BarleyGrain BarleyGrass) Economy.kif 4467-4467 %每个 大麦籽粒 是 BarleyGrass 的 initially part
(initialPart Bicep Arm) Mid-level-ontology.kif 12132-12132 %每个 Bicep 是 臂 的 initially part
(initialPart Bone Primate) Anatomy.kif 20-20 %每个 骨骼 是 灵长类动物 的 initially part
(initialPart BoneMarrow Bone) Medicine.kif 1213-1213 %每个 BoneMarrow 是 骨骼 的 initially part
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 12150-12150 %每个 CalfMuscle 是 腿 的 initially part
(initialPart Chocolate CocoaBean) Food.kif 2446-2446 %每个 Chocolate 是 可可豆 的 initially part
(initialPart CocoaButter CocoaLiquor) Food.kif 2499-2499 %每个 可可脂 是 CocoaLiquor 的 initially part
(initialPart CocoaSolid CocoaLiquor) Food.kif 2491-2491 %每个 可可粉 是 CocoaLiquor 的 initially part
(initialPart CoconutOil Coconut) Economy.kif 4918-4918 %每个 CoconutOil 是 椰子 的 initially part
(initialPart Coffee CoffeeBean) Food.kif 634-634 %每个 咖啡 是 咖啡豆 的 initially part
(initialPart CommonWheatFlour CommonWheatGrain) Food.kif 1513-1513 %每个 CommonWheatFlour 是 CommonWheatGrain 的 initially part
(initialPart CornFlour MaizeGrain) Food.kif 1553-1553 %每个 CornFlour 是 玉米粒 的 initially part
(initialPart Cornea Eye) Mid-level-ontology.kif 13484-13484 %每个 Cornea 是 眼睛 的 initially part
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 13854-13854 %每个 数字附属物 是 肢 的 initially part
(initialPart DurumWheatFlour DurumWheatGrain) Food.kif 1523-1523 %每个 DurumWheatFlour 是 DurumWheatGrain 的 initially part
(initialPart EggYolk Egg) Food.kif 2554-2554 %每个 EggYolk 是 蛋 的 initially part
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 13022-13022 %每个 外骨骼 是 动物 的 initially part
(initialPart Eyebrow Head) Anatomy.kif 1473-1473 %每个 Eyebrow 是 头 的 initially part
(initialPart FingerBone Hand) Anatomy.kif 911-911 %每个 FingerBone 是 手 的 initially part
(initialPart FleshOrPulp FruitOrVegetable) Food.kif 2318-2318 %每个 FleshOrPulp 是 水果或蔬菜 的 initially part
(initialPart FoodBone Foot) Anatomy.kif 1133-1133 %每个 FoodBone 是 足 的 initially part

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