|
|
  ChildrenSuite
|
|
|
| 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 | ChildrenSuite est une instance de HotelRoomAttribute |
| (subAttribute ChildrenSuite Suite) | Hotel.kif 1024-1024 | ChildrenSuite est un sous-attribut de 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 |
|
|
|