TreeView Knowledge Base Browser - Uptick

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Uptick

Uptick

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3209-3210
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3208-3208	Uptick e' uma sub-classe de StockMarketTransaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60670-60670
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60669-60669
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60668-60668

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 3212-3228

Processo e' uma instancia de Uptick Fisico e' um patient de Processo tempo de existencia de Processo e' igual a AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency price Fisico, Numero Real Unidade de Medida(s) and AutonomousAgent
Processo AutonomousAgent and Numero Real Processo e' uma instancia de StockMarketTransaction Fisico e' um patient de Processo tempo de existencia de Processo e' igual a AutonomousAgent AutonomousAgent encontra AutonomousAgent price Fisico, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' menos que Numero Real

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