TreeView Knowledge Base Browser - askPrice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - askPrice

askPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1930-1931
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1926-1926	Le nombre 1 argument de askPrice est une instance de objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1927-1927	Le nombre 2 argument de askPrice est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1928-1928	Le nombre 3 argument de askPrice est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1925-1925	askPrice est une instance de relation ternaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1924-1924	askPrice est une sous-relation de price

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2822-2822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2821-2821
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2820-2820
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8688-8688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8687-8687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8686-8686

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, acheter and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency askPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus petit 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.	FinancialOntology.kif 2208-2212	Objet est une instance de PennyStock askPrice objet, nombre r�el UnitedStatesDollar(s) and AutonomousAgent nombre r�el est moins que 5
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1933-1943	askPrice objet, mesure de devise and AutonomousAgent processus processus est une instance de Offering entit� entit� est une instance de vendre entit� est un agent de AutonomousAgent objet est un patient de entit� transactionAmount entit� and mesure de devise est un patient de processus

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