| ChildrenSuite(children's suite) | | child's_room |
| appearance as argument number 1 |
|
|
| (documentation ChildrenSuite EnglishLanguage "ChildrenSuite describes a Suite that is meant for HumanChild to stay in") | Hotel.kif 1025-1026 | |
| (instance ChildrenSuite HotelRoomAttribute) | Hotel.kif 1023-1023 | Children's suite is an instance of hotel room attribute |
| (subAttribute ChildrenSuite Suite) | Hotel.kif 1024-1024 | Children's suite is a subattribute of suite |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChildrenSuite "children's suite") | Hotel.kif 1027-1027 |
| antecedent |
|
|
| (=> (attribute ?X ChildrenSuite) (hasPurpose ?X (exists (?CHILD) (and (instance ?CHILD HumanChild) (stays ?CHILD ?X))))) |
Hotel.kif 1029-1035 |
|
|
|
|