TreeView Knowledge Base Browser - bidPrice

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	Le nombre 1 argument de bidPrice est une instance de objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1907-1907	Le nombre 2 argument de bidPrice est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1908-1908	Le nombre 3 argument de bidPrice est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1905-1905	bidPrice est une instance de pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1904-1904	bidPrice est une sous-relation de price

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	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, vendre and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) bidPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	Processus est une instance de Auctioning AutonomousAgent est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent objet est une instance de objet unit� de mesure est une instance de UnitOfCurrency objet est un patient de processus bidPrice objet, nombre r�el unit� de mesure(s) and AutonomousAgent bidPrice objet, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus grand que nombre r�el processus aboutit � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1407-1414	bidPrice objet, mesure de devise and AutonomousAgent Bidding Bidding est une instance de Bidding objectOfBid Bidding and objet amountOfBid Bidding and mesure de devise Bidding est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1912-1922	bidPrice objet, mesure de devise and AutonomousAgent processus processus est une instance de Offering entit� entit� est une instance de acheter entit� est un agent de AutonomousAgent objet est un patient de entit� transactionAmount entit� and mesure de devise est un patient de processus

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	Processus est une instance de Auctioning objet est une instance de objet objet est un patient de processus AutonomousAgent mesure de devise AutonomousAgent est une instance de AutonomousAgent mesure de devise est une instance de mesure de devise bidPrice objet, mesure de devise and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1416-1425	Bidding est une instance de Bidding objet est une instance de physique mesure de devise est une instance de mesure de devise AutonomousAgent est une instance de AutonomousAgent objectOfBid Bidding and objet amountOfBid Bidding and mesure de devise Bidding est un agent de AutonomousAgent bidPrice objet, mesure de devise and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 415-423	Unit� de mesure est une instance de UnitOfCurrency reservePrice Auctioning and nombre r�el unit� de mesure(s) Auctioning aboutit � AutonomousAgent nombre r�el objet bidPrice objet, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 109-115	listingBidder WebListing and AutonomousAgent objet est une instance de objet objet est un patient de WebListing mesure de devise bidPrice objet, mesure de devise and AutonomousAgent

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

Show without tree

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