Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
price
Sigma KEE - price
price
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7739-7740
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7736-7736
O argumento numero 1 de
price
e' uma
instancia
de
Fisico
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7737-7737
O argumento numero 2 de
price
e' uma
instancia
de
Medida de Divisa
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7738-7738
O argumento numero 3 de
price
e' uma
instancia
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7735-7735
price
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2039-2039
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2038-2038
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2037-2037
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1924-1924
askPrice
e' uma
sub
-relacao de
price
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1904-1904
bidPrice
e' uma
sub
-relacao de
price
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 47282-47282
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 47281-47281
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 47280-47280
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3051-3062
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
FinancialInstrument
Price e'
menos
que
Numero Real
outOfTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3002-3013
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
FinancialInstrument
Price
inTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3034-3042
FinancialInstrument
FinancialInstrument
Price and
Medida de Divisa
Agreement
e' uma
instancia
de
Option
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
Medida de Divisa
FinancialInstrument
Price e'
igual
a
Medida de Divisa
atTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3015-3026
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
FinancialInstrument
Price e'
menos
que
Numero Real
inTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3064-3075
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
FinancialInstrument
Price
outOfTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3234-3250
Processo
e' uma
instancia
de
Downtick
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'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Dining.kif 189-201
Catalog
e' uma
instancia
de
SetMenu
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
PreparedFood
Fisico
e' uma
instancia
de
Classe
Fisico
e' uma
instancia
de
Entidade
Fisico
e'
igual
a
Fisico
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
Medida de Divisa
e'
igual
a
Medida de Divisa
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
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2669-2685
Agreement
tem um
atributo
de
Option
optionHolder
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
Agente Cognitivo
tem o
direito
de executar a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2623-2639
Agreement
tem um
atributo
de
Option
optionHolder
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
Agente Cognitivo
tem o
direito
de executar a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2687-2703
Agreement
tem um
atributo
de
Option
optionSeller
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2641-2659
Agreement
tem um
atributo
de
Option
optionSeller
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7742-7749
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Comprar
Transacao Financeira
e' um
agente
de
AutonomousAgent
Fisico
e' um
patient
de
Transacao Financeira
transactionAmount
Transacao Financeira
and
Medida de Divisa
consequent
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.
FinancialOntology.kif 3234-3250
Processo
e' uma
instancia
de
Downtick
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'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7848-7862
Processo
e' uma
instancia
de
BargainSale
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
Numero Real
Numero Real
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
UnitOfCurrency
price
Entidade
,
Numero Real
Entidade
(s) and
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
price
Entidade
,
Numero Real
Entidade
(s) and
Entidade
vale
durante
tempo
de existencia de
Processo
Numero Real
e'
menos
que
Numero Real
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
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 871-897
paidFunctionRoomAmenity
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
Numero Real
Unidade de Medida
price
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 0
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 569-589
paidPropertyAmenity
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
Numero Real
Unidade de Medida
price
Processo
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 0
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 396-417
paidRoomAmenity
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
Processo
e'
situado
em
TemporaryResidence
Objeto
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
recurso
para
Processo
Processo
RICE
Unidade de Medida
price
Objeto
,
Processo
RICE
Unidade de Medida
(s) and
Humano
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Processo
RICE e'
maior
que 0
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 419-438
paidRoomAmenity
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
Processo
RICE
Unidade de Medida
price
Processo
,
Processo
RICE
Unidade de Medida
(s) and
Humano
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Processo
RICE e'
maior
que 0
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1727-1739
roomAmenity
HotelUnit
and
HotelMiniBar
Objeto
Colecao
and
AutonomousAgent
Objeto
e' uma
instancia
de
HotelUnit
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
Colecao
e' uma
instancia
de
HotelMiniBar
Colecao
e'
situado
em
Objeto
Fisico
Fisico
e'
membro
de
Colecao
Medida de Divisa
price
Fisico
,
Medida de Divisa
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