Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ChildrenSuite
|
|
|
| appearance as argument number 1 |
|
|
| (instance ChildrenSuite HotelRoomAttribute) | Hotel.kif 1031-1031 | Children's suite is an instance of hotel room attribute |
| (subAttribute ChildrenSuite Suite) | Hotel.kif 1032-1032 | Children's suite is a subattribute of suite |
| (documentation ChildrenSuite EnglishLanguage "ChildrenSuite describes a Suite that is meant for HumanChild to stay in") | Hotel.kif 1033-1034 | Children's suite is a subattribute of suite |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChildrenSuite "children's suite") | Hotel.kif 1035-1035 |
| antecedent |
|
|
| (=> (attribute ?X ChildrenSuite) (hasPurpose ?X (exists (?CHILD) (and (instance ?CHILD HumanChild) (stays ?CHILD ?X))))) |
Hotel.kif 1037-1043 | If children's suite is an attribute of X, then X has the purpose there exists Y such that Y is an instance of human child and Y stays at X |
|