TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3354-3355
No TPTP formula. May not be expressible in strict first order.	Food.kif 3352-3352	The number 1 argument of plant fn is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Food.kif 3351-3351	Plant fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Food.kif 3353-3353	The values returned by plant fn are subclasses of plant

appearance as argument number 2

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

Food.kif 3356-3356

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 2184-2186	If a kind of plant is equal to plant fn apple, then a kind of plant is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Food.kif 2170-2172	If a kind of plant is equal to plant fn basil, then a kind of plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Food.kif 2210-2212	If a kind of plant is equal to plant fn blueberry, then a kind of plant is a subclass of shrub
No TPTP formula. May not be expressible in strict first order.	Food.kif 2396-2398	If a kind of plant is equal to plant fn broccoli, then a kind of plant is a subclass of cabbage plant
No TPTP formula. May not be expressible in strict first order.	Food.kif 2403-2405	If a kind of plant is equal to plant fn butternut squash, then a kind of plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Food.kif 2421-2423	If a kind of plant is equal to plant fn cashew nut, then a kind of plant is a subclass of botanical tree
No TPTP formula. May not be expressible in strict first order.	Food.kif 2427-2429	If a kind of plant is equal to plant fn celery, then a kind of plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Food.kif 2529-2531	If a kind of plant is equal to plant fn cilantro, then a kind of plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Food.kif 2584-2586	If a kind of plant is equal to plant fn garlic, then a kind of plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Food.kif 2672-2674	If a kind of plant is equal to plant fn mint, then a kind of plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Food.kif 2696-2698	If a kind of plant is equal to plant fn mustard, then a kind of plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Food.kif 2733-2735	If a kind of plant is equal to plant fn parsley, then a kind of plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Food.kif 3360-3362	If a kind of plant is equal to plant fn scallion, then a kind of plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Food.kif 3397-3399	If a kind of plant is equal to plant fn sesame, then a kind of plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Food.kif 3483-3485	If a kind of plant is equal to plant fn strawberry, then a kind of plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Food.kif 3489-3491	If a kind of plant is equal to plant fn tamarind fruit, then a kind of plant is a subclass of botanical tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4732-4735	If a kind of plant is equal to plant fn wine grape, then a kind of plant is a subclass of grape vine
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4066-4069	If a kind of plant is equal to plant fn common wheat grain, then a kind of plant is a subclass of common wheat grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4076-4079	If a kind of plant is equal to plant fn durum wheat grain, then a kind of plant is a subclass of durum wheat grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4096-4099	If a kind of plant is equal to plant fn Einkorn wheat grain, then a kind of plant is a subclass of einkorn wheat grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4086-4089	If a kind of plant is equal to plant fn Emmer wheat grain, then a kind of plant is a subclass of emmer wheat grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4107-4110	If a kind of plant is equal to plant fn spelt wheat grain, then a kind of plant is a subclass of spelt wheat grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4641-4643	If an entity is an instance of plant fn coffee arabica, then the entity is an instance of coffea arabica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4665-4667	If an entity is an instance of plant fn coffee robusta, then the entity is an instance of coffea robusta

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: