TreeView 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 15038-15039
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 1975-1975
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 15037-15037	Seed is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15036-15036	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 4026-4026	Cereal grain is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4686-4686	Cocoa bean is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4624-4624	Coffee bean is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4500-4500	Kentia palm seed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4497-4497	Norfolk island pine seed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4509-4509	Oilseed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4112-4112	Pea is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Food.kif 3391-3391	Sesame is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4503-4503	Sunflower seed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51963-51963
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51962-51962
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51961-51961

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4839-4843	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 15041-15046	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: