Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LiquidBodySubstance
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LiquidBodySubstance BodySubstance) | Mid-level-ontology.kif 12306-12306 | Liquid body substance is a subclass of body substance |
| (documentation LiquidBodySubstance EnglishLanguage "Any BodySubstance which is Liquid under normal circumstances.") | Mid-level-ontology.kif 12307-12308 | Liquid body substance is a subclass of body substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SUBSTANCE LiquidBodySubstance) (attribute ?SUBSTANCE Liquid)) |
Mid-level-ontology.kif 12310-12312 | If X is an instance of liquid body substance, then liquid is an attribute of X |
|