initialPart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24647-24653
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24655-24655	The number 1 argument of initial part is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24656-24656	The number 2 argument of initial part is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24643-24643	initial part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24644-24644	initial part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24646-24646	initial part is internally related to initially contains part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24645-24645	initial part is internally related to part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3704-3704
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3703-3703
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3702-3702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30155-30155
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30154-30154
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30153-30153

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24658-24667	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4844-4849	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4908-4914	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4381-4387	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4747-4758	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5256-5261	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5266-5271	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4930-4936	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5511-5516	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5521-5526	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5531-5536	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5636-5641	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5541-5548	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5646-5651	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5499-5506	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5656-5661	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5553-5558	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5563-5568	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5676-5681	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5573-5578	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5583-5588	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5593-5598	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5624-5631	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5666-5671	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24669-24669	Every animal anatomical structure is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12353-12353	Every animal shell is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 687-687	Every arm bone is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4798-4798	Every avocado oil is initially part of a avocado
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4345-4345	Every barley grain is initially part of a barley grass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11607-11607	Every bicep is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 20-20	Every bone is initially part of a primate
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1209-1209	Every bone marrow is initially part of a bone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11625-11625	Every gastrocnemius is initially part of a leg
No TPTP formula. May not be expressible in strict first order.	Food.kif 2439-2439	Every chocolate is initially part of a cocoa bean
No TPTP formula. May not be expressible in strict first order.	Food.kif 2492-2492	Every cocoa butter is initially part of a cocoa liquor
No TPTP formula. May not be expressible in strict first order.	Food.kif 2484-2484	Every cocoa solid is initially part of a cocoa liquor
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4795-4795	Every coconut oil is initially part of a coconut
No TPTP formula. May not be expressible in strict first order.	Food.kif 634-634	Every coffee is initially part of a coffee bean
No TPTP formula. May not be expressible in strict first order.	Food.kif 1507-1507	Every common wheat flour is initially part of a common wheat grain
No TPTP formula. May not be expressible in strict first order.	Food.kif 1547-1547	Every corn flour is initially part of a maize grain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12959-12959	Every cornea is initially part of a eye
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13329-13329	Every digit appendage is initially part of a limb
No TPTP formula. May not be expressible in strict first order.	Food.kif 1517-1517	Every durum wheat flour is initially part of a durum wheat grain
No TPTP formula. May not be expressible in strict first order.	Food.kif 2547-2547	Every egg yolk is initially part of a egg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12497-12497	Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1437-1437	Every eyebrow is initially part of a head
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 879-879	Every finger bone is initially part of a hand
No TPTP formula. May not be expressible in strict first order.	Food.kif 2311-2311	Every flesh or pulp is initially part of a fruit or vegetable
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1101-1101	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: