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
uses
Sigma KEE - uses
uses
appearance as argument number 1
(
documentation
uses
ChineseLanguage
"(
uses
?OBJECT AGENT) 的意思是 ?AGENT 在一个没有指定的
Process
所用的工具是 ?OBJECT,这个
Predicate
就如它的定义所说的,由
CaseRole
、
agent
和
instrument
构成。")
chinese_format.kif 2209-2211
(
documentation
uses
EnglishLanguage
"(
uses
?OBJECT AGENT) means that ?OBJECT is used by ?AGENT as an instrument in an unspecified
Process
. This
Predicate
, as its corresponding axiom indicates, is a composition of the
CaseRole
s
agent
and
instrument
.")
Merge.kif 4575-4578
(
domain
uses
1
Object
)
Merge.kif 4572-4572
The number 1 argument of
uses
is an
instance
of
object
(
domain
uses
2
Agent
)
Merge.kif 4573-4573
The number 2 argument of
uses
is an
instance
of
agent
(
instance
uses
AsymmetricRelation
)
Merge.kif 4571-4571
uses
is an
instance
of
asymmetric relation
(
instance
uses
BinaryPredicate
)
Merge.kif 4570-4570
uses
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
uses
"%2 %n{doesn't}
uses
%1")
chinese_format.kif 247-247
(
format
EnglishLanguage
uses
"%2 %n{doesn't} use%p{s} %1")
english_format.kif 248-248
(
termFormat
ChineseLanguage
uses
"使用")
domainEnglishFormat.kif 60827-60827
(
termFormat
ChineseLanguage
uses
"用")
chinese_format.kif 248-248
(
termFormat
ChineseTraditionalLanguage
uses
"使用")
domainEnglishFormat.kif 60826-60826
(
termFormat
EnglishLanguage
uses
"uses")
domainEnglishFormat.kif 60825-60825
antecedent
(=>
(
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
(
instance
?KL
KnockLight
)
(
instance
?A
Human
)
(
attribute
?A
Deaf
)
(
uses
?KL ?A))
(
hasPurpose
?KL
(
exists
(?KNOCK ?DOOR)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
instance
?DOOR
Door
)
(
knows
?A ?KNOCK)))))
Mid-level-ontology.kif 25207-25219
If
an object
is an
instance
of
knock light
and
an agent
is an
instance
of
human
and
deaf
is an
attribute
of
the agent
and
the agent
use
s
the object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
impacting
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
door
and
the agent
know
s
the entity
(=>
(
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
(=>
(
uses
?OBJ ?AGENT)
(
exists
(?PROC)
(
and
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?OBJ))))
Merge.kif 4580-4585
If
an agent
use
s
an object
,
then there exists
a process
such that
the agent
is an
agent
of
the process
and
the object
is an
instrument
for
the process
consequent
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?CUST ?X) ?AGENT ?CUST)
Possibility
))
Dining.kif 332-346
If
a cognitive agent
provides
an object
and
the cognitive agent
is a
customer
of
another cognitive agent
and
an entity
is an
instance
of
the object
and
the other cognitive agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
intentional process
and
the entity
is a
patient
of
the other entity
and
the other cognitive agent
is an
agent
of
the other entity
,
then the statement
the cognitive agent
allow
s
the other cognitive agent
to perform task of the type
the entity
use
s
the other cognitive agent
has the
modal
force
of
possibility
(=>
(
and
(
instance
?R
Renting
)
(
agent
?R ?A)
(
patient
?R ?O))
(
holdsDuring
(
WhenFn
?R)
(
modalAttribute
(
uses
?A ?O)
Permission
)))
Mid-level-ontology.kif 21882-21889
If
a process
is an
instance
of
renting
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then the statement
the entity
use
s
the agent
has the
modal
force
of
permission
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?Using
UsingAResource
)
(
resourceUsed
?Using ?Resource)
(
agent
?Using ?Agent))
(
uses
?Agent ?Resource))
QoSontology.kif 1971-1976
If
a computer process
is an
instance
of
usingA resource
and
the computer process
uses
an agent
and
another agent
is an
agent
of
the computer process
,
then
the agent
use
s
the other agent
(=>
(
attribute
?User
ComputerUser
)
(
exists
(?Computer)
(
and
(
instance
?Computer
Computer
)
(
uses
?User ?Computer))))
QoSontology.kif 1728-1733
If
computer user
is an
attribute
of
an object
,
then there exists
an agent
such that
the agent
is an
instance
of
computer
and
the agent
use
s
the object
(=>
(
dateUsed
?OBJECT ?DATE ?AGENT)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
patient
?PROCESS ?OBJECT)
(
agent
?PROCESS ?AGENT)
(
uses
?OBJECT ?AGENT)
(
overlapsTemporally
?DATE
(
WhenFn
?PROCESS)))))
Mid-level-ontology.kif 955-963
If
an object
is
used
by
an agent
at
a time interval
,
then there exists
a process
such that
the process
is an
instance
of
process
and
the object
is a
patient
of
the process
and
the agent
is an
agent
of
the process
and
the agent
use
s
the object
and the
time
of existence of
the process
overlap
s
the time interval
(=>
(
instance
?A
MilitaryArtifact
)
(
hasPurpose
?A
(
exists
(?O)
(
and
(
instance
?O
MilitaryOrganization
)
(
uses
?A ?O)))))
Mid-level-ontology.kif 17225-17231
If
a physical
is an
instance
of
military artifact
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
military organization
and
the entity
use
s
the physical
(=>
(
instance
?V
MilitaryVehicle
)
(
hasPurpose
?V
(
exists
(?O)
(
and
(
instance
?O
MilitaryOrganization
)
(
uses
?V ?O)))))
Military.kif 137-143
If
a physical
is an
instance
of
military vehicle
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
military organization
and
the entity
use
s
the physical
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4163-4165
If
an agent
possess
es
an object
,
then the statement
the agent
use
s
the object
has the
modal
force
of
permission
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