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
Le nombre 1 argument de
price
est une
instance
de
physique
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7737-7737
Le nombre 2 argument de
price
est une
instance
de
mesure de devise
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7738-7738
Le nombre 3 argument de
price
est une
instance
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7735-7735
price
est une
instance
de
pr�dicat ternaire
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
est une
sous
-relation de
price
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1904-1904
bidPrice
est une
sous
-relation 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
nombre r�el
Agreement
est une
instance
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
FinancialInstrument
Price est
moins
que
nombre r�el
outOfTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3002-3013
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
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
mesure de devise
Agreement
est une
instance
de
Option
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
mesure de devise
FinancialInstrument
Price est
mesure de devise
atTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3015-3026
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
FinancialInstrument
Price est
moins
que
nombre r�el
inTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3064-3075
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
FinancialInstrument
Price
outOfTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3234-3250
Processus
est une
instance
de
Downtick
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
processus
AutonomousAgent
and
nombre r�el
processus
est une
instance
de
StockMarketTransaction
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
AutonomousAgent
rencontre
AutonomousAgent
price
physique
,
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.
Dining.kif 189-201
Catalog
est une
instance
de
SetMenu
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
PreparedFood
physique
est une
instance
de
classe
physique
est une
instance
de
entit�
physique
est
physique
price
physique
,
mesure de devise
and
AutonomousAgent
price
physique
,
mesure de devise
and
AutonomousAgent
mesure de devise
est
mesure de devise
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3212-3228
Processus
est une
instance
de
Uptick
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
processus
AutonomousAgent
and
nombre r�el
processus
est une
instance
de
StockMarketTransaction
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
AutonomousAgent
rencontre
AutonomousAgent
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est
moins
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2669-2685
Agreement
a un
attribute
Option
optionHolder
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
underlier
Agreement
and
FinancialInstrument
agent cognitif
a le
droit
d'executer la
classe
d�crite par
cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2623-2639
Agreement
a un
attribute
Option
optionHolder
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
agent cognitif
a le
droit
d'executer la
classe
d�crite par
cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2687-2703
Agreement
a un
attribute
Option
optionSeller
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
underlier
Agreement
and
FinancialInstrument
agent cognitif
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 2641-2659
Agreement
a un
attribute
Option
optionSeller
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
agent cognitif
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.
Mid-level-ontology.kif 7742-7749
price
physique
,
mesure de devise
and
AutonomousAgent
financial transaction
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
AutonomousAgent
physique
est un
patient
de
financial transaction
transactionAmount
financial transaction
and
mesure de devise
consequent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 841-862
freeFunctionRoomAmenity
HotelFunctionRoom
and
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
aboutit
�
agent cognitif
objet
est une
instance
de
physique
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
objet
est une
instance
de
processus
objet
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
objet
agent cognitif
utilise
objet
price
objet
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 546-561
freePropertyAmenity
AutonomousAgent
and
physique
processus
est une
instance
de
physique
customer
agent cognitif
and
AutonomousAgent
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
processus
AutonomousAgent
poss
�de
processus
processus
est une
instance
de
objet
agent cognitif
utilise
processus
price
processus
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 346-361
freeRoomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
objet
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
objet
est une
instance
de
physique
objet
est
situ
� �
TemporaryResidence
processus
est une
instance
de
processus
processus
est un
agent
de
humain
objet
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
est une
resource
pour
processus
price
objet
, 0
UnitedStatesDollar
(s) and
humain
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 364-378
freeRoomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
processus
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
humain
est un
patient
de
processus
processus
est une
instance
de
physique
processus
est une
instance
de
physique
processus
est un
sous
-processus de
processus
processus
est
situ
� �
TemporaryResidence
price
processus
, 0.0
UnitedStatesDollar
(s) and
humain
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3234-3250
Processus
est une
instance
de
Downtick
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
processus
AutonomousAgent
and
nombre r�el
processus
est une
instance
de
StockMarketTransaction
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
AutonomousAgent
rencontre
AutonomousAgent
price
physique
,
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.
Mid-level-ontology.kif 7848-7862
Processus
est une
instance
de
BargainSale
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
nombre r�el
nombre r�el
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
UnitOfCurrency
price
entit�
,
nombre r�el
entit�
(s) and
entit�
pendant
immediatement
avant
temps
d'existence de
processus
price
entit�
,
nombre r�el
entit�
(s) and
entit�
pendant
temps
d'existence de
processus
nombre r�el
est
moins
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3212-3228
Processus
est une
instance
de
Uptick
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
processus
AutonomousAgent
and
nombre r�el
processus
est une
instance
de
StockMarketTransaction
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
AutonomousAgent
rencontre
AutonomousAgent
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est
moins
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 871-897
paidFunctionRoomAmenity
HotelFunctionRoom
and
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
aboutit
�
agent cognitif
objet
est une
instance
de
physique
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
objet
est une
instance
de
processus
objet
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
objet
agent cognitif
utilise
objet
nombre r�el
unit� de mesure
price
objet
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
que 0
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 569-589
paidPropertyAmenity
AutonomousAgent
and
physique
processus
est une
instance
de
physique
customer
agent cognitif
and
AutonomousAgent
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
processus
AutonomousAgent
poss
�de
processus
processus
est une
instance
de
objet
agent cognitif
utilise
processus
nombre r�el
unit� de mesure
price
processus
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
que 0
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 396-417
paidRoomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
objet
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
objet
est une
instance
de
physique
objet
est
situ
� �
TemporaryResidence
processus
est une
instance
de
processus
processus
est un
agent
de
humain
processus
est
situ
� �
TemporaryResidence
objet
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
est une
resource
pour
processus
processus
RICE
unit� de mesure
price
objet
,
processus
RICE
unit� de mesure
(s) and
humain
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
RICE est
plus
grand
que 0
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 419-438
paidRoomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
processus
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
humain
est un
patient
de
processus
processus
est une
instance
de
physique
processus
est une
instance
de
physique
processus
est un
sous
-processus de
processus
processus
est
situ
� �
TemporaryResidence
processus
RICE
unit� de mesure
price
processus
,
processus
RICE
unit� de mesure
(s) and
humain
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
RICE est
plus
grand
que 0
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1727-1739
roomAmenity
HotelUnit
and
HotelMiniBar
objet
collection
and
AutonomousAgent
objet
est une
instance
de
HotelUnit
objet
est un
appartenir
�
AutonomousAgent
collection
est une
instance
de
HotelMiniBar
collection
est
situ
� �
objet
physique
physique
est un
membre
de
collection
mesure de devise
price
physique
,
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