Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Ethanol(ethanol) |
| appearance as argument number 1 |
|
| (subclass Ethanol Alcohol) | Mid-level-ontology.kif 9996-9996 | Ethanol is a subclass of alcohol |
| (subclass Ethanol Depressant) | Mid-level-ontology.kif 9997-9997 | Ethanol is a subclass of depressant |
| (subclass Ethanol Diuretic) | Mid-level-ontology.kif 9998-9998 | Ethanol is a subclass of diuretic |
| (documentation Ethanol EnglishLanguage "An Alcohol derived from ethane.") | Mid-level-ontology.kif 10000-10000 | Ethanol is a subclass of diuretic |
| (roomTempState Ethanol Liquid) | Mid-level-ontology.kif 34055-34055 | room temperature state ethanol and liquid |
| (refractiveIndex Ethanol 1.36) | Transportation.kif 5631-5631 | The RefractiveIndexFn of ethanol is 1.36 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Ethanol "ethanol") | Mid-level-ontology.kif 9999-9999 |
| consequent |
|
|
| (=> (instance ?BEVERAGE AlcoholicBeverage) (exists (?ALCOHOL) (and (instance ?ALCOHOL Ethanol) (part ?ALCOHOL ?BEVERAGE)))) |
Mid-level-ontology.kif 12387-12392 | If X is an instance of alcoholic beverage, then there exists Y such that Y is an instance of ethanol and Y is a part of X |
|