Seed - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3503-3504
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15176-15177
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 164-164
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1974-1974
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 900-900
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 899-899
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 896-896
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 898-898
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 894-894
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 903-903
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 904-904
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 892-892
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 893-893
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 895-895
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 905-905
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 902-902
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 901-901
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 897-897
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15175-15175	Seed is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15174-15174	Seed is a subclass of reproductive body

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4363-4363	Cereal grain is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5024-5024	Cocoa bean is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4962-4962	Coffee bean is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4838-4838	Kentia palm seed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4835-4835	Norfolk island pine seed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4847-4847	Oilseed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4449-4449	Pea is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Food.kif 3398-3398	Sesame is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4841-4841	Sunflower seed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51996-51996	Sunflower seed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51995-51995	Sunflower seed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51994-51994	Sunflower seed is a subclass of seed

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4967-4972	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 5031-5037	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 4870-4881	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.	Economy.kif 5179-5183	If a kind of object is a subclass of seed and a kind of object is equal to clover, then every the kind of object is initially part of a clover plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15179-15184	If an entity is an instance of seed, then there exist another entity and a time position such that the other entity is an instance of flowering plant and the entity is a part of the other entity holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.

Food.kif 174-180

If a process is an instance of hulling and an entity is a patient of the process,
then the entity is an instance of seed or the entity is an instance of fruit

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: