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 | The number 1 argument of valid for is an instance of pricing scheme |
(domainSubclass validFor 2 AutonomousAgent) | Catalog.kif 231-231 | The number 2 argument of valid for is a subclass of agent |
(instance validFor BinaryPredicate) | Catalog.kif 225-225 | valid for is an instance of binary predicate |
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 |