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 23699-23705
(domainSubclass initialPart 1 Object) Mid-level-ontology.kif 23707-23707 initialPart の数値 1 引数は オブジェクトsubclass では %n
(domainSubclass initialPart 2 Object) Mid-level-ontology.kif 23708-23708 initialPart の数値 2 引数は オブジェクトsubclass では %n
(instance initialPart BinaryPredicate) Mid-level-ontology.kif 23696-23696 initialPart2進述語instance では %n
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23697-23697 initialPart空間的関係instance では %n
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 23698-23698 initialPartpartinternally 関連して %n

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 Tea ?TEA)
    (or
        (equal ?TEA TeaBud)
        (equal ?TEA TeaLeaf)
        (equal ?TEA TeaTwig)))
Food.kif 1809-1814

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


(=>
    (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 ?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
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WalnutWood)
        (subclass ?S PlantStem))
    (initialPart ?S WalnutTree))
Economy.kif 5388-5393
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WhiteOakWood)
        (subclass ?S PlantStem))
    (initialPart ?S WhiteOakTree))
Economy.kif 5398-5403

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 initialPart AnimalAnatomicalStructure and 動物
(initialPart AnimalShell Animal) Mid-level-ontology.kif 11529-11529 initialPart AnimalShell and 動物
(initialPart ArmBone Arm) Anatomy.kif 688-688 initialPart ArmBone and Arm
(initialPart AvocadoOil Avocado) Economy.kif 4583-4583 initialPart AvocadoOil and Avocado
(initialPart BarleyGrain BarleyGrass) Economy.kif 4130-4130 initialPart BarleyGrain and BarleyGrass
(initialPart Bicep Arm) Mid-level-ontology.kif 10783-10783 initialPart Bicep and Arm
(initialPart Bone Primate) Anatomy.kif 21-21 initialPart and 霊長類
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 10801-10801 initialPart CalfMuscle and Leg
(initialPart CoconutOil Coconut) Economy.kif 4580-4580 initialPart CoconutOil and Coconut
(initialPart Coffee CoffeeBean) Food.kif 634-634 initialPart Coffee and CoffeeBean
(initialPart CommonWheatFlour CommonWheatGrain) Food.kif 1507-1507 initialPart CommonWheatFlour and CommonWheatGrain
(initialPart CornFlour MaizeGrain) Food.kif 1547-1547 initialPart CornFlour and MaizeGrain
(initialPart Cornea Eye) Mid-level-ontology.kif 12135-12135 initialPart Cornea and Eye
(initialPart DigitAppendage Limb) Mid-level-ontology.kif 12505-12505 initialPart DigitAppendage and Limb
(initialPart DurumWheatFlour DurumWheatGrain) Food.kif 1517-1517 initialPart DurumWheatFlour and DurumWheatGrain
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 11673-11673 initialPart Exoskeleton and 動物
(initialPart Eyebrow Head) Anatomy.kif 1438-1438 initialPart Eyebrow and Head
(initialPart FingerBone Hand) Anatomy.kif 880-880 initialPart FingerBone and Hand
(initialPart FoodBone Foot) Anatomy.kif 1102-1102 initialPart FoodBone and Foot
(initialPart Forearm Arm) Mid-level-ontology.kif 10830-10830 initialPart Forearm and Arm
(initialPart Forehead Head) Anatomy.kif 1487-1487 initialPart Forehead and Head
(initialPart GroundnutOil Groundnut) Economy.kif 4576-4576 initialPart GroundnutOil and Groundnut
(initialPart Hair Animal) Mid-level-ontology.kif 11784-11784 initialPart Hair and 動物
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10816-10816 initialPart HamstringMuscle and Leg
(initialPart HeadBone Head) Anatomy.kif 55-55 initialPart HeadBone and Head

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