roomAttribute |
appearance as argument number 1 |
(documentation roomAttribute EnglishLanguage "(roomAttribute ?ROOM ?ATTR) means that all instances of HotelUnit ?ROOM has attribute ?ATTR") | Hotel.kif 456-457 | |
(domain roomAttribute 2 RelationalAttribute) | Hotel.kif 461-461 | Il numero 2 argomenti di roomAttribute è un istanza di AttributoRelazionale |
(domainSubclass roomAttribute 1 HotelUnit) | Hotel.kif 460-460 | Il numero 1 argomento roomAttribute è una sottoclasse diHotelUnit |
(instance roomAttribute BinaryPredicate) | Hotel.kif 455-455 | roomAttribute è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage roomAttribute "%2 是 %1 的 attribute ") | domainEnglishFormat.kif 4442-4442 | |
(format ChineseTraditionalLanguage roomAttribute "%2 是 %1 的 attribute ") | domainEnglishFormat.kif 4441-4441 | |
(format EnglishLanguage roomAttribute "%2 is an attribute of %1") | domainEnglishFormat.kif 4440-4440 | |
(termFormat EnglishLanguage roomAttribute "room attribute") | Hotel.kif 458-458 |
antecedent |
(=> (roomAttribute ?ROOM ?ATTR) (forall (?R) (=> (instance ?R ?ROOM) (attribute ?R ?ATTR)))) |
Hotel.kif 463-468 |