validFor |
appearance as argument number 1 |
(documentation validFor EnglishLanguage "(validFor ?SCHEME ?AGENT) means that CurrencyMeasure that PricingScheme refers to applies to AutonomousAgent ?AGENT") | Catalog.kif 226-227 | |
(domain validFor 1 PricingScheme) | Catalog.kif 230-230 | O argumento numero 1 de validFor e' uma instancia de PricingScheme |
(domainSubclass validFor 2 AutonomousAgent) | Catalog.kif 231-231 | O argumento numero 2 de validFor e' uma sub-classe de AutonomousAgent |
(instance validFor BinaryPredicate) | Catalog.kif 225-225 | validFor e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage validFor "%1 是 valid 对于 %2 ") | domainEnglishFormat.kif 4906-4906 | |
(format ChineseTraditionalLanguage validFor "%1 是 valid 對於 %2 ") | domainEnglishFormat.kif 4905-4905 | |
(format EnglishLanguage validFor "%1 is valid for %2") | domainEnglishFormat.kif 4904-4904 | |
(termFormat EnglishLanguage validFor "valid for") | Catalog.kif 228-228 |
antecedent |