Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Solarium(solarium) |  | solarium, sun_lounge, sun_parlor, sun_parlour, sun_porch, sunporch, sunroom |
| appearance as argument number 1 |
|
|
| (subclass Solarium Room) | Mid-level-ontology.kif 29344-29344 | Solarium is a subclass of room |
| (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 29345-29346 | Solarium is a subclass of room |
| (defaultMinimumMeasure Solarium (MeasureFn 4 SquareYard)) |
DimensioningAmenities.kif 122-122 | The minimum expected value of solarium is 4 square yard(s) |
| (defaultMaximumMeasure Solarium (MeasureFn 30 SquareYard)) |
DimensioningAmenities.kif 123-123 | The maximum expected value of solarium is 30 square yard(s) |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Solarium "solarium") | Mid-level-ontology.kif 29347-29347 |
| antecedent |
|
|
| (=> (instance ?X Solarium) (exists (?WALL) (and (instance ?WALL Wall) (part ?WALL ?X) (attribute ?WALL Transparent)))) |
Mid-level-ontology.kif 29349-29355 | If X is an instance of solarium, then there exists Y such that Y is an instance of wall, Y is a part of X, and transparent is an attribute of Y |
|