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 26784-26785 | |
(subclass Solarium Room) | Mid-level-ontology.kif 26783-26783 | Solarium è una sottoclasse di Stanza |
appearance as argument number 2 |
(termFormat EnglishLanguage Solarium "solarium") | Mid-level-ontology.kif 26786-26786 |
antecedent |
(=> (instance ?X Solarium) (exists (?WALL) (and (instance ?WALL Wall) (part ?WALL ?X) (attribute ?WALL Transparent)))) |
Mid-level-ontology.kif 26788-26794 |