TreeView Knowledge Base Browser - UnitedStatesDollar

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2619-2619
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7384-7384
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1333-1333
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4419-4419
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4418-4418
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4417-4417
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7383-7383	UnitedStatesDollar e' uma instancia de UnitOfCurrency

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2941-2941	currencyValue UnitedStatesDollarBill and UnitedStatesDollar
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60380-60380
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60379-60379
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60378-60378

appearance as argument number 3

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

Media.kif 2311-2311

codeMapping ISO-4217-A, "USD" and UnitedStatesDollar

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	currentAccountBalance FinancialAccount, Dia and Numero Real UnitedStatesDollar(s) Numero Real e' menos que 0 Numero Real e' igual a (0 + Numero Real) overdraft FinancialAccount, Numero Real UnitedStatesDollar(s) and Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2208-2212	Objeto e' uma instancia de PennyStock askPrice Objeto, Numero Real UnitedStatesDollar(s) and AutonomousAgent Numero Real e' menos que 5

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3648-3650	currencyExchangePerUSDollar Medida de Divisa and Intervalo Temporal currencyExchangeRateInPeriod UnitedStatesDollar, Medida de Divisa and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3661-3666	currencyExchangePerUSDollar Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal currencyExchangeRate UnitedStatesDollar and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	currentAccountBalance FinancialAccount, Dia and Numero Real UnitedStatesDollar(s) Numero Real e' menos que 0 Numero Real e' igual a (0 + Numero Real) overdraft FinancialAccount, Numero Real UnitedStatesDollar(s) and Dia
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo termina em Agente Cognitivo Objeto e' uma instancia de Fisico AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Processo Objeto e' um agente de Agente Cognitivo Agente Cognitivo experimenta Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de Objeto Agente Cognitivo usa Objeto price Objeto, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	freePropertyAmenity AutonomousAgent and Fisico Processo e' uma instancia de Fisico customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Processo Processo e' um agente de Agente Cognitivo Agente Cognitivo experimenta Processo AutonomousAgent possui Processo Processo e' uma instancia de Objeto Agente Cognitivo usa Processo price Processo, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo price Objeto, 0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Humano e' um patient de Processo Processo e' uma instancia de Fisico Processo e' uma instancia de Fisico Processo e' um sub-processo de Processo Processo e' situado em TemporaryResidence price Processo, 0.0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and LowIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' menos que 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 456-463	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and LowerMiddleIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' maior ou igual a 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 465-472	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and LowerMiddleIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' menos que 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 481-488	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and UpperMiddleIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' maior ou igual a 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 490-497	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and UpperMiddleIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' menos que 9267.0

statement

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

Merge.kif 7391-7393

Numero Real UnitedStatesCent(s) e' igual a Numero Real + 0.01 UnitedStatesDollar(s)

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

KB Term:			Term intersection

English Word: