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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FloweringPlant
FloweringPlant(Planta Florindo)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3381-3382
No TPTP formula. May not be expressible in strict first order. Merge.kif 14427-14428
No TPTP formula. May not be expressible in strict first order. pictureList.kif 985-985
No TPTP formula. May not be expressible in strict first order. Merge.kif 14426-14426 Planta Florindo e' uma sub-classe de Planta

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14431-14431 Planta sem flores e' disjunto de Planta Florindo
No TPTP formula. May not be expressible in strict first order. Geography.kif 6295-6295 Cactus e' uma sub-classe de Planta Florindo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9355-9355 HerbaceousPlant e' uma sub-classe de Planta Florindo
No TPTP formula. May not be expressible in strict first order. Geography.kif 6281-6281 Succulent e' uma sub-classe de Planta Florindo
No TPTP formula. May not be expressible in strict first order. Geography.kif 6274-6274 Vine e' uma sub-classe de Planta Florindo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9363-9363 WoodyPlant e' uma sub-classe de Planta Florindo
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 966-966
No TPTP formula. May not be expressible in strict first order. english_format.kif 1139-1139
No TPTP formula. May not be expressible in strict first order. french_format.kif 643-643
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 174-174
No TPTP formula. May not be expressible in strict first order. terms-it.txt 177-177
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2327-2327
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 595-595
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 211-211
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 664-664
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 178-178

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4532-4543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9524-9530
No TPTP formula. May not be expressible in strict first order. Merge.kif 15063-15068


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