| LoftStyle | |
| appearance as argument number 1 |
|
|
| (documentation LoftStyle EnglishLanguage "LoftStyle refers to how a StationaryArtifact such as a Room or CondominiumUnit or Building has raised floor space above the ground that overlooks the the ground floor") | Hotel.kif 1126-1128 | |
| (instance LoftStyle RelationalAttribute) | Hotel.kif 1125-1125 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LoftStyle "loft style") | Hotel.kif 1129-1129 |
| antecedent |
|
|
| (=> (attribute ?X LoftStyle) (exists (?FLOOR ?LOFT ?CEILING) (and (bottom ?FLOOR ?X) (top ?CEILING ?X) (instance ?LOFT StationaryArtifact) (orientation ?LOFT ?FLOOR Above) (orientation ?LOFT ?CEILING Below)))) |
Hotel.kif 1135-1143 | |
| (=> (attribute ?X LoftStyle) (instance ?X StationaryArtifact)) |
Hotel.kif 1131-1133 |
|
|
|