bidPrice |
appearance as argument number 1 |
(documentation bidPrice EnglishLanguage "(bidPrice ?Obj ?Money ?Agent) means that ?Agent offers to buy ?Obj for the amount of ?Money.") | FinancialOntology.kif 1909-1910 | |
(domain bidPrice 1 Object) | FinancialOntology.kif 1906-1906 | Die Zahl 1 Argument von bidPrice ist ein fall von Object %n{nicht} |
(domain bidPrice 2 CurrencyMeasure) | FinancialOntology.kif 1907-1907 | Die Zahl 2 Argument von bidPrice ist ein fall von CurrencyMeasure %n{nicht} |
(domain bidPrice 3 AutonomousAgent) | FinancialOntology.kif 1908-1908 | Die Zahl 3 Argument von bidPrice ist ein fall von AutonomousAgent %n{nicht} |
(instance bidPrice TernaryPredicate) | FinancialOntology.kif 1905-1905 | bidPrice ist ein fall von TernaryPredicate %n{nicht} |
(subrelation bidPrice price) | FinancialOntology.kif 1904-1904 | bidPrice ist eine teilrelation von price |
appearance as argument number 2 |
(format ChineseLanguage bidPrice "%3 bids %2 對於 %1 ") | domainEnglishFormat.kif 2898-2898 | |
(format ChineseTraditionalLanguage bidPrice "%3 bids %2 對於 %1 ") | domainEnglishFormat.kif 2897-2897 | |
(format EnglishLanguage bidPrice "%3 bids %2 for %1") | domainEnglishFormat.kif 2896-2896 | |
(termFormat ChineseLanguage bidPrice "竞标价格") | domainEnglishFormat.kif 10973-10973 | |
(termFormat ChineseTraditionalLanguage bidPrice "競標價格") | domainEnglishFormat.kif 10972-10972 | |
(termFormat EnglishLanguage bidPrice "bid price") | domainEnglishFormat.kif 10971-10971 |
antecedent |
consequent |