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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Alfalfa
Alfalfa(alfalfa)
Medicago_falcata, Medicago_sativa, alfalfa, alfalfa_sprout, lucerne, sickle_alfalfa, sickle_lucerne, sickle_medick

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


No TPTP formula. May not be expressible in strict first order. Society.kif 1060-1061
No TPTP formula. May not be expressible in strict first order. pictureList.kif 849-849 "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Lucerne_flowers.jpg" is a URL depicting alfalfa
No TPTP formula. May not be expressible in strict first order. pictureList.kif 25-25 "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e2/ Lucerne_flowers.jpg/ 800px-Lucerne_flowers.jpg" is a URL depicting alfalfa
No TPTP formula. May not be expressible in strict first order. Economy.kif 4163-4163 Alfalfa is a subclass of fodder
No TPTP formula. May not be expressible in strict first order. Economy.kif 4162-4162 Alfalfa is a subclass of plant

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1511-1511 "alfalfa" is the printable form of alfalfa in english language

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Society.kif 1059-1059 A dead alfalfa is a subclass of PlantAgriculturalArtifact


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners