bidPrice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - bidPrice

bidPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1909-1910
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1906-1906	竞标价格的 1 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1907-1907	竞标价格的 2 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1908-1908	竞标价格的 3 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1905-1905	竞标价格是三元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1904-1904	竞标价格是价钱的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2898-2898
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2897-2897
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2896-2896
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10973-10973
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10972-10972
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10971-10971

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	如果限价订单是金融交易的 attribute 和协议是那个金融交易的 party 协议和经纪人是那个协议的 attribute 和那个金融交易是對於安全的 order 出售和那个安全的 measure 是物理量和实数测量单位是那个金融交易的 limit 价格和施事体 bids 另一个实数那个测量单位對於那个安全和那个测量单位是 UnitOfCurrency 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后那个协议有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	如果过程是 Auctioning 的 instance 和施事体是施事体的 instance 和另一个施事体是施事体的 instance 和客体是客体的 instance 和测量单位是 UnitOfCurrency 的 instance 和那个客体是那个过程的 patient 和那个施事体 bids 实数那个测量单位對於那个客体和那个另外施事体 bids 另一个实数那个测量单位對於那个客体和那个实数是 greaterThan 那个另外实数，然后那个过程在那个施事体结束
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1407-1414	如果施事体 bids 货币测量對於客体，然后有存在 Bidding 这样那个 Bidding 是 Bidding 的 instance 和那个 Bidding 是个 bid 对于那个客体和那个货币测量是那个 Bidding 的 bid 和那个施事体是那个 Bidding 的 agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1912-1922	如果施事体 bids 货币测量對於客体，然后有存在过程这样那个过程是提供的 instance 和有存在实体这样那个实体是购买的 instance 和那个施事体是那个实体的 agent 和那个客体是那个实体的 patient 和那个货币测量是那个实体的 transaction 总额是那个过程的 patient

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	如果过程是 Auctioning 的 instance 和客体是客体的 instance 和那个客体是那个过程的 patient，然后有存在施事体和货币测量这样那个施事体是施事体的 instance 和那个货币测量是货币测量的 instance 和那个施事体 bids 那个货币测量對於那个客体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1416-1425	如果 Bidding 是 Bidding 的 instance 和客体是物理的 instance 和货币测量是货币测量的 instance 和施事体是那个施事体的 instance 和那个 Bidding 是个 bid 对于那个客体和那个货币测量是那个 Bidding 的 bid 和那个施事体是那个 Bidding 的 agent，然后那个施事体 bids 那个货币测量對於那个客体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 415-423	如果测量单位是 UnitOfCurrency 的 instance 和 Auctioning 的 reserve price 是实数那个测量单位和那个 Auctioning 在施事体结束，然后有存在另一个实数和客体这样那个施事体 bids 那个另外实数那个测量单位對於那个客体和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 109-115	如果施事体對 WebListing bids 和客体是客体的 instance 和那个客体是那个 WebListing 的 patient，然后有存在货币测量这样那个施事体 bids 那个货币测量對於那个客体

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners