Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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
(
documentation
price
EnglishLanguage
"(
price
?Obj ?Money ?Agent) means that ?Agent pays the amount of money ?Money for ?Obj.")
Mid-level-ontology.kif 7408-7409
(
domain
price
1
Physical
)
Mid-level-ontology.kif 7405-7405
The number 1 argument of
price
is an
instance
of
physical
(
domain
price
2
CurrencyMeasure
)
Mid-level-ontology.kif 7406-7406
The number 2 argument of
price
is an
instance
of
currency measure
(
domain
price
3
Agent
)
Mid-level-ontology.kif 7407-7407
The number 3 argument of
price
is an
instance
of
agent
(
instance
price
TernaryPredicate
)
Mid-level-ontology.kif 7404-7404
price
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
price
"%1 %n 是 对于 %3 的
price
%2 ")
domainEnglishFormat.kif 2039-2039
(
format
ChineseTraditionalLanguage
price
"%1 %n 是 對於 %3 的
price
%2 ")
domainEnglishFormat.kif 2038-2038
(
format
EnglishLanguage
price
"%1 is %n
price
%2 for %3")
domainEnglishFormat.kif 2037-2037
(
termFormat
ChineseLanguage
price
"价钱")
domainEnglishFormat.kif 47265-47265
(
termFormat
ChineseTraditionalLanguage
price
"價錢")
domainEnglishFormat.kif 47264-47264
(
termFormat
EnglishLanguage
price
"price")
domainEnglishFormat.kif 47263-47263
antecedent
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?X ?MENU)
(
catalogItem
?Y ?MENU)
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-197
If
a catalog
is an
instance
of
set menu
and
an agent
offers
items for sale in
the catalog
and
a kind of entity
is in
the catalog
and
another kind of entity
is in
the catalog
and
a kind of entity
is
price
a currency measure
for
the agent
1 and
another kind of entity
is
price
another currency measure
for
the agent
2,
then
the currency measure
is
equal
to
the other currency measure
(=>
(
price
?Obj ?Money ?Agent)
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money))))
Mid-level-ontology.kif 7411-7418
If
a physical
is
price
a currency measure
for
an agent
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the agent
is an
agent
of
the financial transaction
and
the physical
is a
patient
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
consequent
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?CUST ?X))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 820-841
If
a class
is
free
for customers renting
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
a cognitive agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the process
end
s up at
another cognitive agent
and
an agent
is an
instance
of
the class
and
the cognitive agent
possess
es
the agent
and
the cognitive agent
is a
customer
of
the other cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
0
united states dollar
(s) for
the cognitive agent
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?CUST ?X))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 526-541
If use of
a class
is free for
a cognitive agent
and
an agent
is an
instance
of
the class
and
the cognitive agent
is a
customer
of
another cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
0
united states dollar
(s) for
the cognitive agent
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?P
(
MeasureFn
0
UnitedStatesDollar
) ?HOTEL))
Hotel.kif 334-349
If use of
a class
is free for
a kind of hotel unit
and
the class
is a
subclass
of
object
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
an object
is an
instance
of
the class
and
the object
is
located
at
the temporary residence
and
a process
is an
instance
of
process
and
the human
is an
agent
of
the process
and
the object
is a
patient
of
the process
or
the object
is an
instrument
for
the process
or
the object
is a
resource
for
the process
,
then
the process
is
price
0
united states dollar
(s) for
the agent
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?HOTEL))
Hotel.kif 351-365
If use of
a class
is free for
a kind of hotel unit
and
the class
is a
subclass
of
process
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
the human
is a
patient
of
a process
and
the process
is an
instance
of
the class
or
another process
is an
instance
of
the class
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then
the process
is
price
0.0
united states dollar
(s) for
the agent
(=>
(
and
(
instance
?SALE
BargainSale
)
(
patient
?SALE ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SALE))
(
price
?OBJ
(
MeasureFn
?PRICE1 ?U) ?AGENT1))
(
holdsDuring
(
WhenFn
?SALE)
(
price
?OBJ
(
MeasureFn
?PRICE2 ?U) ?AGENT2))
(
lessThan
?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7517-7531
If
a process
is an
instance
of
bargain sale
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
object
,
then there exist
a real number
,
another real number
,, ,
another entity
,, ,
a third entity
and
a fourth entity
such that
the fourth entity
is an
instance
of
UnitOfCurrency
and
the entity
is
price
the real number
the fourth entity
(s) for
the other entity
holds
during
immediately
before
the
time
of existence of
the process
and
the entity
is
price
the other real number
the fourth entity
(s) for
the third entity
holds
during
the
time
of existence of
the process
and
the other real number
is
less
than
the real number
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?CUST ?X))))
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0)))
Hotel.kif 850-875
If renters of
a kind of hotel function room
can
pay
to use
a class
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
a cognitive agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the process
end
s up at
another cognitive agent
and
an agent
is an
instance
of
the class
and
the cognitive agent
possess
es
the agent
and
the cognitive agent
is a
customer
of
the other cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
a real number
an unit of measure
(s) for
the cognitive agent
and
the unit of measure
is an
instance
of
UnitOfCurrency
and
the real number
is
greater
than 0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?CUST ?X))))
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0)))
Hotel.kif 549-568
If renters of
a cognitive agent
can
pay
to use
a class
and
an agent
is an
instance
of
the class
and
the cognitive agent
is a
customer
of
another cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
a real number
an unit of measure
(s) for
the cognitive agent
and
the unit of measure
is an
instance
of
UnitOfCurrency
and
the real number
is
greater
than 0
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(=>
(
and
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?O)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?HOTEL)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 374-396
If renters of
a kind of hotel unit
can
pay
to use
a class
and
the class
is a
subclass
of
object
,
then
if
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
an object
is an
instance
of
the class
and
the object
is
located
at
the temporary residence
and
a process
is an
instance
of
process
and
the human
is an
agent
of
the process
and
the process
is
located
at
the object
or
the object
is a
patient
of
the process
or
the object
is an
instrument
for
the process
or
the object
is a
resource
for
the process
,
then
the process
is
price
the process
RICE
an unit of measure
(s) for
the agent
and
the unit of measure
is an
instance
of
UnitOfCurrency
and
the process
RICE is
greater
than 0
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
))
(=>
(
and
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?HOTEL)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 398-418
If renters of
a kind of hotel unit
can
pay
to use
a class
and
the class
is a
subclass
of
process
,
then
if
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
the human
is a
patient
of
a process
and
the process
is an
instance
of
the class
or
another process
is an
instance
of
the class
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then
the process
is
price
the process
RICE
an unit of measure
(s) for
the agent
and
the unit of measure
is an
instance
of
UnitOfCurrency
and
the process
RICE is
greater
than 0
(=>
(
roomAmenity
?X
HotelMiniBar
)
(
exists
(?ROOM ?BAR ?HOTEL)
(
and
(
instance
?ROOM ?X)
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
instance
?BAR
HotelMiniBar
)
(
located
?BAR ?ROOM)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?BAR)
(
exists
(?AMT)
(
price
?ITEM ?AMT ?HOTEL)))))))
Hotel.kif 1702-1714
If
mini bar
is an
amenity
in
a kind of hotel unit
,
then there exist
an object
,
a collection
and
an agent
such that
the object
is an
instance
of
a kind of hotel unit
and
the object
is an
element
of
belongings
of
the agent
and
the collection
is an
instance
of
mini bar
and
the collection
is
located
at
the object
and for all
a physical
if
the physical
is a
member
of
the collection
,
then there exists
a currency measure
such that
the physical
is
price
the currency measure
for
the agent
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