TreeView Knowledge Base Browser

appearance as argument number 1

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

Economy.kif 3839-3839

Grocery produce is a subclass of fruit or vegetable

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3832-3832	Maize grain is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3926-3926	Potato tuber is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26649-26649
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26648-26648
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26647-26647

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4016-4019	If a kind of OrganismRemains is equal to a dead apple, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4058-4061	If a kind of OrganismRemains is equal to a dead avocado, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4065-4068	If a kind of OrganismRemains is equal to a dead banana, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4009-4012	If a kind of OrganismRemains is equal to a dead berry, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4072-4075	If a kind of OrganismRemains is equal to a dead breadfruit, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3859-3862	If a kind of OrganismRemains is equal to a dead cabbage, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3911-3914	If a kind of OrganismRemains is equal to a dead carrot, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3951-3954	If a kind of OrganismRemains is equal to a dead cassava, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3866-3869	If a kind of OrganismRemains is equal to a dead cauliflower, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4030-4033	If a kind of OrganismRemains is equal to a dead citrus fruit, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4079-4082	If a kind of OrganismRemains is equal to a dead coconut, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3852-3855	If a kind of OrganismRemains is equal to a dead cucumber, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4086-4089	If a kind of OrganismRemains is equal to a dead date fruit, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4157-4160	If a kind of OrganismRemains is equal to a dead edible nut, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3873-3876	If a kind of OrganismRemains is equal to a dead eggplant, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3995-3998	If a kind of OrganismRemains is equal to a dead grape, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4179-4182	If a kind of OrganismRemains is equal to a dead groundnut, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3845-3848	If a kind of OrganismRemains is equal to a dead leafy green vegetable, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4093-4096	If a kind of OrganismRemains is equal to a dead mango, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4000-4003	If a kind of OrganismRemains is equal to a dead melon, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4023-4026	If a kind of OrganismRemains is equal to a dead olive, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4100-4103	If a kind of OrganismRemains is equal to a dead papaw, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4110-4113	If a kind of OrganismRemains is equal to a dead papaya, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4117-4120	If a kind of OrganismRemains is equal to a dead passion fruit, then a kind of OrganismRemains is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4172-4175	If a kind of OrganismRemains is equal to a dead peanut, then a kind of OrganismRemains is a subclass of grocery produce

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: