initialPart - Sigma Knowledge base Browser

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 23987-23993
(domainSubclass initialPart 1 Object)	Mid-level-ontology.kif 23995-23995	The number 1 argument of initial part is a subclass of object
(domainSubclass initialPart 2 Object)	Mid-level-ontology.kif 23996-23996	The number 2 argument of initial part is a subclass of object
(instance initialPart BinaryPredicate)	Mid-level-ontology.kif 23983-23983	initial part is an instance of binary predicate
(instance initialPart SpatialRelation)	Mid-level-ontology.kif 23984-23984	initial part is an instance of spatial relation
(relatedInternalConcept initialPart initiallyContainsPart)	Mid-level-ontology.kif 23986-23986	initial part is internally related to initially contains part
(relatedInternalConcept initialPart part)	Mid-level-ontology.kif 23985-23985	initial part is internally related to part

appearance as argument number 2

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

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 23998-24007	If every a kind of object is initially part of a another kind of object and a physical is an instance of a kind of object, then there exists an entity such that the entity is an instance of another kind of object and the physical is a part of the entity holds during the beginning of the time of existence of the physical
(=> (and (instance ?NUCLEUS ?CLASS) (subclass ?CLASS CellNucleus) (initialPart ?CLASS EukaryoticCell)) (exists (?CHROMOTIN) (and (instance ?CHROMOTIN Chromotin) (part ?CHROMOTIN ?NUCLEUS))))	VirusProteinAndCellPart.kif 599-607	If an object is an instance of another kind of object and another kind of object is a subclass of cell nucleus and every the other kind of object is initially part of a eukaryotic cell, then there exists a third object such that the third object is an instance of chromotin and the third object is a part of the object
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1633-1639	If a kind of object is a subclass of mixture and every a kind of object is initially part of a meat and every the kind of object is initially part of a food from plant and every the kind of object is initially part of a potable water, then the kind of object is equal to soup stock
(=> (initialPart DairyArtifact ?CLASS) (equal ?CLASS Milk))	Food.kif 2822-2824	If every dairy product is initially part of a a kind of object, then a kind of object is equal to milk
(=> (initialPart Tea ?TEA) (or (equal ?TEA TeaBud) (equal ?TEA TeaLeaf) (equal ?TEA TeaTwig)))	Food.kif 1809-1814	If every tea is initially part of a a kind of object, then a kind of object is equal to tea bud or the kind of object is equal to tea leaf or the kind of object is equal to tea twig

consequent

(=> (and (equal ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal))	Food.kif 2876-2882	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of animal fat and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a animal
(=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant))	Economy.kif 4744-4749	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of coffee bean and another kind of object is a subclass of seed, then every the other kind of object is initially part of a coffee plant
(=> (and (equal ?C (OrganicObjectFn ?S)) (subclass ?C CocoaBean) (subclass ?S Seed)) (initialPart ?S CocoaTree))	Economy.kif 4808-4814	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of cocoa bean and another kind of object is a subclass of seed, then every the other kind of object is initially part of a cocoa tree
(=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass))	Economy.kif 4281-4287	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of malt and another kind of object is a subclass of cereal grain, then every the other kind of object is initially part of a cereal grass plant
(=> (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 4647-4658	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of oil from plant and another kind of object is a subclass of seed or the other kind of object is a subclass of fruit, then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and every the other kind of object is initially part of a the third kind of object
(=> (and (equal ?S (OrganicObjectFn ?F)) (subclass ?S Suet) (subclass ?F FatTissue)) (or (initialPart ?F Cattle) (initialPart ?F Sheep)))	Food.kif 2906-2914	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of suet and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a cattle or every the other kind of object is initially part of a sheep
(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Lambskin) (subclass ?O Skin)) (initialPart ?O Lamb))	Economy.kif 5156-5161	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of lambskin and another kind of object is a subclass of skin, then every the other kind of object is initially part of a lamb
(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Sheepskin) (subclass ?O Skin)) (initialPart ?O Sheep))	Economy.kif 5166-5171	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of sheepskin and another kind of object is a subclass of skin, then every the other kind of object is initially part of a sheep
(=> (and (equal ?T (OrganicObjectFn ?S)) (subclass ?T TeaPlantAerialPart) (subclass ?S PlantStem)) (initialPart ?S TeaPlant))	Economy.kif 4830-4836	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of tea plant aerial part and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a TeaPlant
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W BalsaWood) (subclass ?S PlantStem)) (initialPart ?S BalsaTree))	Economy.kif 5411-5416	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Balsa wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Balsa tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W BeechWood) (subclass ?S PlantStem)) (initialPart ?S BeechTree))	Economy.kif 5421-5426	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Beech wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Beech tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W BirchWood) (subclass ?S PlantStem)) (initialPart ?S BirchTree))	Economy.kif 5431-5436	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Birch wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Birch tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W CedarWood) (subclass ?S PlantStem)) (initialPart ?S CedarTree))	Economy.kif 5536-5541	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Cedar wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Cedar tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W CherryWood) (subclass ?S PlantStem)) (or (initialPart ?S BlackCherryTree) (initialPart ?S SweetCherryTree)))	Economy.kif 5441-5448	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of cherry wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a black cherry tree or every the other kind of object is initially part of a sweet cherry tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W FirWood) (subclass ?S PlantStem)) (initialPart ?S FirTree))	Economy.kif 5546-5551	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of fir wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Fir tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely))	Economy.kif 5399-5406	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of hardwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a deciduous tree has the modal force of likely
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W LarchWood) (subclass ?S PlantStem)) (initialPart ?S LarchTree))	Economy.kif 5556-5561	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of larch wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a larch tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W MapleWood) (subclass ?S PlantStem)) (initialPart ?S MapleTree))	Economy.kif 5453-5458	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of maple wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a maple tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W OkoumeWood) (subclass ?S PlantStem)) (initialPart ?S OkoumeTree))	Economy.kif 5463-5468	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Okoume wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a okoume tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W PineWood) (subclass ?S PlantStem)) (initialPart ?S PineTree))	Economy.kif 5576-5581	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of PineWood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a pine tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W PoplarWood) (subclass ?S PlantStem)) (initialPart ?S PoplarTree))	Economy.kif 5473-5478	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Poplar wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Poplar tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W RedOakWood) (subclass ?S PlantStem)) (initialPart ?S RedOakTree))	Economy.kif 5483-5488	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of red oak wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a red oak tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W SapeleWood) (subclass ?S PlantStem)) (initialPart ?S SapeleTree))	Economy.kif 5493-5498	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Sapele wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Sapele tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Softwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S Conifers) Likely))	Economy.kif 5524-5531	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of softwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a conifers has the modal force of likely
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W SpruceWood) (subclass ?S PlantStem)) (initialPart ?S SpruceTree))	Economy.kif 5566-5571	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Spruce wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Spruce tree

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 24009-24009	Every animal anatomical structure is initially part of a animal
(initialPart AnimalShell Animal)	Mid-level-ontology.kif 11747-11747	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 4698-4698	Every avocado oil is initially part of a avocado
(initialPart BarleyGrain BarleyGrass)	Economy.kif 4245-4245	Every barley grain is initially part of a barley grass
(initialPart Bicep Arm)	Mid-level-ontology.kif 11001-11001	Every bicep is initially part of a arm
(initialPart Bone Primate)	Anatomy.kif 21-21	Every bone is initially part of a primate
(initialPart BoneMarrow Bone)	Medicine.kif 1221-1221	Every bone marrow is initially part of a bone
(initialPart CalfMuscle Leg)	Mid-level-ontology.kif 11019-11019	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 4695-4695	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 12353-12353	Every cornea is initially part of a eye
(initialPart DigitAppendage Limb)	Mid-level-ontology.kif 12723-12723	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 11891-11891	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

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

KB Term:			Term intersection

English Word: