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 25345-25351
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 25353-25353 initialPart の数値 1 引数は オブジェクト のsubclass では
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 25354-25354 initialPart の数値 2 引数は オブジェクト のsubclass では
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 25341-25341 initialPart は 2進述語 の instance では
(instance initialPart SpatialRelation) Mid-level-ontology.kif 25342-25342 initialPart は 空間的関係 の instance では
(relatedInternalConcept initialPart initiallyContainsPart) Mid-level-ontology.kif 25344-25344 initialPart は initiallyContainsPart に internally 関連して
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 25343-25343 initialPart は part に internally 関連して

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 30138-30138
(termFormat ChineseTraditionalLanguage initialPart "初始部分") domainEnglishFormat.kif 30137-30137
(termFormat EnglishLanguage initialPart "initial part") domainEnglishFormat.kif 30136-30136

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 25356-25365
(=>
    (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 25367-25367 initialPart AnimalAnatomicalStructure and 動物
(initialPart AnimalShell Animal) Mid-level-ontology.kif 12860-12860 initialPart AnimalShell and 動物
(initialPart ArmBone Arm) Anatomy.kif 703-703 initialPart ArmBone and Arm
(initialPart AvocadoOil Avocado) Economy.kif 4921-4921 initialPart AvocadoOil and Avocado
(initialPart BarleyGrain BarleyGrass) Economy.kif 4467-4467 initialPart BarleyGrain and BarleyGrass
(initialPart Bicep Arm) Mid-level-ontology.kif 12114-12114 initialPart Bicep and Arm
(initialPart Bone Primate) Anatomy.kif 20-20 initialPart 骨 and 霊長類
(initialPart BoneMarrow Bone) Medicine.kif 1213-1213 initialPart BoneMarrow and 骨
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 12132-12132 initialPart CalfMuscle and Leg
(initialPart Chocolate CocoaBean) Food.kif 2446-2446 initialPart Chocolate and CocoaBean
(initialPart CocoaButter CocoaLiquor) Food.kif 2499-2499 initialPart CocoaButter and CocoaLiquor
(initialPart CocoaSolid CocoaLiquor) Food.kif 2491-2491 initialPart CocoaSolid and CocoaLiquor
(initialPart CoconutOil Coconut) Economy.kif 4918-4918 initialPart CoconutOil and Coconut
(initialPart Coffee CoffeeBean) Food.kif 634-634 initialPart Coffee and CoffeeBean
(initialPart CommonWheatFlour CommonWheatGrain) Food.kif 1513-1513 initialPart CommonWheatFlour and CommonWheatGrain
(initialPart CornFlour MaizeGrain) Food.kif 1553-1553 initialPart CornFlour and MaizeGrain
(initialPart Cornea Eye) Mid-level-ontology.kif 13466-13466 initialPart Cornea and Eye
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 13836-13836 initialPart DigitAppendage and Limb
(initialPart DurumWheatFlour DurumWheatGrain) Food.kif 1523-1523 initialPart DurumWheatFlour and DurumWheatGrain
(initialPart EggYolk Egg) Food.kif 2554-2554 initialPart EggYolk and Egg
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 13004-13004 initialPart Exoskeleton and 動物
(initialPart Eyebrow Head) Anatomy.kif 1473-1473 initialPart Eyebrow and Head
(initialPart FingerBone Hand) Anatomy.kif 911-911 initialPart FingerBone and Hand
(initialPart FleshOrPulp FruitOrVegetable) Food.kif 2318-2318 initialPart FleshOrPulp and 果物または野菜
(initialPart FoodBone Foot) Anatomy.kif 1133-1133 initialPart FoodBone and Foot

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