Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HerbaceousPlant
HerbaceousPlant

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9384-9384 HerbaceousPlant e' disjunto de WoodyPlant
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9385-9386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9383-9383 HerbaceousPlant e' uma sub-classe de Planta Florindo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9388-9388
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9389-9389
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9387-9387

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4820-4820 AlfalfaPlant e' uma sub-classe de HerbaceousPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4257-4257 CabbagePlant e' uma sub-classe de HerbaceousPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4870-4870 Chrysanthemum e' uma sub-classe de HerbaceousPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4834-4834 CloverPlant e' uma sub-classe de HerbaceousPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4229-4229 CucumberPlant e' uma sub-classe de HerbaceousPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4283-4283 EggplantPlant e' uma sub-classe de HerbaceousPlant
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9399-9399 Grass e' uma sub-classe de HerbaceousPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4866-4866 Orchid e' uma sub-classe de HerbaceousPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4860-4860 Poppy e' uma sub-classe de HerbaceousPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4506-4506 Sunflower e' uma sub-classe de HerbaceousPlant
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9408-9408 Tobacco e' uma sub-classe de HerbaceousPlant

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 2170-2172
No TPTP formula. May not be expressible in strict first order. Food.kif 2403-2405
No TPTP formula. May not be expressible in strict first order. Food.kif 2427-2429
No TPTP formula. May not be expressible in strict first order. Food.kif 2529-2531
No TPTP formula. May not be expressible in strict first order. Food.kif 2584-2586
No TPTP formula. May not be expressible in strict first order. Food.kif 2672-2674
No TPTP formula. May not be expressible in strict first order. Food.kif 2696-2698
No TPTP formula. May not be expressible in strict first order. Food.kif 2733-2735
No TPTP formula. May not be expressible in strict first order. Food.kif 3360-3362
No TPTP formula. May not be expressible in strict first order. Food.kif 3397-3399
No TPTP formula. May not be expressible in strict first order. Food.kif 3483-3485


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