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 | Die Zahl 1 Argument von validFor ist ein fall von PricingScheme %n{nicht} |
(domainSubclass validFor 2 AutonomousAgent) | Catalog.kif 231-231 | Die Zahl 2 Argument von validFor ist eine teilkategorie von AutonomousAgent %n{nicht} |
(instance validFor BinaryPredicate) | Catalog.kif 225-225 | validFor ist ein fall von BinaryPredicate %n{nicht} |
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 |