orderFor |
appearance as argument number 1 |
(documentation orderFor EnglishLanguage "(orderFor ?Order ?Transaction ?Security) means that the content of ?Order is to realize an instance of ?Transaction where ?Security is the patient of ?Transaction.") | FinancialOntology.kif 1968-1969 | |
(domain orderFor 1 FinancialTransaction) | FinancialOntology.kif 1965-1965 | Die Zahl 1 Argument von orderFor ist ein fall von FinancialTransaction %n{nicht} |
(domain orderFor 3 Security) | FinancialOntology.kif 1967-1967 | Die Zahl 3 Argument von orderFor ist ein fall von Security %n{nicht} |
(domainSubclass orderFor 2 FinancialTransaction) | FinancialOntology.kif 1966-1966 | Die Zahl 2 Argument von orderFor ist eine teilkategorie von FinancialTransaction %n{nicht} |
(instance orderFor TernaryPredicate) | FinancialOntology.kif 1964-1964 | orderFor ist ein fall von TernaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage orderFor "%1 %n 是 對於 %3 的 order %2 ") | domainEnglishFormat.kif 1855-1855 | |
(format ChineseTraditionalLanguage orderFor "%1 %n 是 對於 %3 的 order %2 ") | domainEnglishFormat.kif 1854-1854 | |
(format EnglishLanguage orderFor "%1 is %n order for %2 for %3") | domainEnglishFormat.kif 1853-1853 | |
(termFormat ChineseLanguage orderFor "订购给") | domainEnglishFormat.kif 42456-42456 | |
(termFormat ChineseTraditionalLanguage orderFor "訂購給") | domainEnglishFormat.kif 42455-42455 | |
(termFormat EnglishLanguage orderFor "order for") | domainEnglishFormat.kif 42454-42454 |
antecedent |