Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  LoftStyle
|
|
|
| appearance as argument number 1 |
|
|
| (instance LoftStyle RelationalAttribute) | Hotel.kif 1155-1155 | Loft style is an instance of relational attribute |
| (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 1156-1158 | Loft style is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LoftStyle "loft style") | Hotel.kif 1159-1159 |
| antecedent |
|
|
| (=> (attribute ?X LoftStyle) (instance ?X StationaryArtifact)) |
Hotel.kif 1161-1163 | If loft style is an attribute of X, then X is an instance of stationary artifact |
| (=> (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 1165-1173 | If loft style is an attribute of X, then there exist Y, Z, W such that the bottom of X is Y, the top of X is W, Z is an instance of stationary artifact, Z is above to Y, and Z is below to W |
|