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 |