![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| 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 |