![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Khat(khat) | African_tea, Arabian_tea, cat, kat, khat, qat, quat |
| appearance as argument number 1 |
|
|
| (subclass Khat PlantAgriculturalArtifact) | Society.kif 1024-1024 | Khat is a subclass of PlantAgriculturalArtifact |
| (subclass Khat ControlledSubstance) | Society.kif 1025-1025 | Khat is a subclass of controlled substance |
| (documentation Khat EnglishLanguage "Khat is the class of PlantAgriculturalArtifacts made from the leaves and buds of the staff tree, which are chewed or brewed as a stimulating tea.") | Society.kif 1029-1030 | Khat is a subclass of controlled substance |
| appearance as argument number 2 |
|
|
| (names "khat" Khat) | Society.kif 1026-1026 | Khat has name "khat" |
| (names "qat" Khat) | Society.kif 1027-1027 | Khat has name "qat" |
| (termFormat EnglishLanguage Khat "khat") | domainEnglishFormat.kif 65080-65080 | Khat has name "qat" |