OrganicObjectFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation OrganicObjectFn EnglishLanguage "(OrganicObjectFn ?ORGCLASS) denotes the Class of Object derived from an OrganicObject. The Object was once a living Organism or a living part of an Organism. For example, Hardwood is made from harvesting the PlantStems of a DeciduousTree. Juice is made from FruitOrVegetable of a Plant.")	Economy.kif 5253-5256
(domainSubclass OrganicObjectFn 1 OrganicObject)	Economy.kif 5249-5249	The number 1 argument of organic object fn is a subclass of organic object
(instance OrganicObjectFn UnaryFunction)	Economy.kif 5247-5247	Organic object fn is an instance of unary function
(rangeSubclass OrganicObjectFn Object)	Economy.kif 5250-5250	The values returned by organic object fn are subclasses of object
(relatedInternalConcept OrganicObjectFn DeadFn)	Economy.kif 5248-5248	Organic object fn is internally related to Dead fn

appearance as argument number 2

(format EnglishLanguage OrganicObjectFn "Object made from %1")	Economy.kif 5251-5251
(termFormat EnglishLanguage OrganicObjectFn "organic object fn")	Economy.kif 5252-5252

antecedent

(=> (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 4629-4634	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 4693-4699	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 ?A)) (subclass ?M Meat)) (subclass ?A Animal))	Economy.kif 4945-4950	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 meat, then a kind of organic object is a subclass of animal
(=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass))	Economy.kif 4166-4172	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 4532-4543	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 ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (exists (?R ?O) (and (instance ?R (DeadFn ?ORG)) (part ?R ?O) (instance ?O ?ORG))))	Economy.kif 5267-5276	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 object, then there exist another object and a third object such that the other object is an instance of a dead a kind of organic object and the other object is a part of the third object and the third object is an instance of the kind of organic object
(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure)))	Economy.kif 5258-5265	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 object, then a kind of organic object is a subclass of organism or the kind of organic object is a subclass of anatomical structure
(=> (and (equal ?P (OrganicObjectFn ?S)) (subclass ?P Pelt)) (subclass ?S Skin))	Economy.kif 5032-5036	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 pelt, then a kind of organic object is a subclass of skin
(=> (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 5041-5046	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 5051-5056	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 4715-4721	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 5296-5301	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 5306-5311	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 5316-5321	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 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 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 5326-5333	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 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 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 5284-5291	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 5441-5446	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 5338-5343	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 5348-5353	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 5461-5466	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 5358-5363	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

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: