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


KB Term:  Term intersection
English Word: 

Sigma KEE - Tobacco
Tobacco(tobacco)
Indian_tobacco, Jasmine_tobacco, Nicotiana_alata, Nicotiana_glauca, Nicotiana_rustica, Nicotiana_tabacum, baccy, common_tobacco, filler, flowering_tobacco, mustard_tree, smoking_mixture, snuff, tobacco, tobacco_plant, tree_tobacco, wild_tobacco

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


(subclass Tobacco HerbaceousPlant) Mid-level-ontology.kif 10873-10873 Tobacco is a subclass of herbaceous plant
(documentation Tobacco EnglishLanguage "A HerbaceousPlant containing nicotine whose leaves are dried and then smoked or ingested.") Mid-level-ontology.kif 10874-10875 Tobacco is a subclass of herbaceous plant
(externalImage Tobacco "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ ed/ Tobacco.jpg/ 405px_Tobacco.jpg") pictureList.kif 937-937 Tobacco is a subclass of herbaceous plant

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


(termFormat EnglishLanguage Tobacco "tobacco") domainEnglishFormat.kif 58231-58231
(termFormat ChineseTraditionalLanguage Tobacco "煙草") domainEnglishFormat.kif 58232-58232
(termFormat ChineseLanguage Tobacco "烟草") domainEnglishFormat.kif 58233-58233

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


(=>
    (instance ?C CigarOrCigarette)
    (exists (?T)
        (and
            (instance ?T Tobacco)
            (part ?T ?C))))
Mid-level-ontology.kif 2840-2845 If X is an instance of cigar or cigarette, then there exists Y such that Y is an instance of tobacco and Y is a part of X

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


(subclass
    (DeadFn Tobacco) PlantAgriculturalArtifact)
Society.kif 1005-1005 A dead tobacco 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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners