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 | 域 validFor, 1 and PricingScheme |
(domainSubclass validFor 2 AutonomousAgent) | Catalog.kif 231-231 | 域子類 validFor, 2 and AutonomousAgent |
(instance validFor BinaryPredicate) | Catalog.kif 225-225 | 例 validFor and BinaryPredicate |
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 |