|
|
   Solarium
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Solarium EnglishLanguage "Solarium is a type of Room part of which is made with Transparent material like glass to afford exposure to the sun.") | Mid-level-ontology.kif 26751-26752 | |
| (subclass Solarium Room) | Mid-level-ontology.kif 26750-26750 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Solarium "solarium") | Mid-level-ontology.kif 26753-26753 |
| antecedent |
|
|
| (=> (instance ?X Solarium) (exists (?WALL) (and (instance ?WALL Wall) (part ?WALL ?X) (attribute ?WALL Transparent)))) |
Mid-level-ontology.kif 26755-26761 |
|
|
|