propertyAmenity |
appearance as argument number 1 |
(documentation propertyAmenity EnglishLanguage "(propertyAmenity ?AGENT ?PHYS) means that &AutonomousAgent ?AGENT provides Physical ?PHYS on its property") | Hotel.kif 497-498 | |
(domain propertyAmenity 1 AutonomousAgent) | Hotel.kif 501-501 | O argumento numero 1 de propertyAmenity e' uma instancia de AutonomousAgent |
(domainSubclass propertyAmenity 2 Physical) | Hotel.kif 502-502 | O argumento numero 2 de propertyAmenity e' uma sub-classe de Fisico |
(instance propertyAmenity BinaryPredicate) | Hotel.kif 496-496 | propertyAmenity e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage propertyAmenity "%1 有 %2 ") | domainEnglishFormat.kif 4258-4258 | |
(format ChineseTraditionalLanguage propertyAmenity "%1 有 %2 ") | domainEnglishFormat.kif 4257-4257 | |
(format EnglishLanguage propertyAmenity "%1 has %2") | domainEnglishFormat.kif 4256-4256 | |
(subrelation freePropertyAmenity propertyAmenity) | Hotel.kif 540-540 | freePropertyAmenity e' uma sub-relacao de propertyAmenity |
(subrelation paidPropertyAmenity propertyAmenity) | Hotel.kif 563-563 | paidPropertyAmenity e' uma sub-relacao de propertyAmenity |
(termFormat EnglishLanguage propertyAmenity "property amenity") | Hotel.kif 499-499 |
antecedent |