Sigma KB Term Intersection

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 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 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 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 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 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 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 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 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 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.	Mid-level-ontology.kif 9356-9356	HerbaceousPlant is a subclass of flowering plant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9372-9372	Grass plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9381-9381	Tobacco is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4229-4229	Cucumber plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4257-4257	Cabbage plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4283-4283	EggplantPlant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4506-4506	Sunflower is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4820-4820	Alfalfa plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4834-4834	Clover plant is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4860-4860	Poppy is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4866-4866	Orchid is a subclass of HerbaceousPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4870-4870	Chrysanthemum is a subclass of HerbaceousPlant

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