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
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 4672-4675
(
documentation
uses
JapaneseLanguage
"(
uses
?OBJECT AGENT) とは、?OBJECTが ?AGENT によっ て不特定の
Process
の計測器として使用される、という意味である。 この
Predicate
は、その対応す る公理が示すように、
CaseRole
s
agent
および
instrument
の組成物である。")
japanese_format.kif 873-875
(
domain
uses
1
Object
)
Merge.kif 4669-4669
(
domain
uses
2
AutonomousAgent
)
Merge.kif 4670-4670
(
instance
uses
AsymmetricRelation
)
Merge.kif 4668-4668
(
instance
uses
BinaryPredicate
)
Merge.kif 4667-4667
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
(
format
FrenchLanguage
uses
"%2 %n{n'} utilise %n{pas} %1")
french_format.kif 140-140
(
format
ItalianLanguage
uses
"%2 usa %1")
relations-it.txt 308-308
(
format
JapaneseLanguage
uses
"%2 は %1 を use%p{s} %n{ない}")
japanese_format.kif 1972-1972
(
format
PortugueseLanguage
uses
"%2 %n{nao} usa %n %1")
portuguese_format.kif 92-92
(
format
de
uses
"%2 verwendet %1")
relations-de.txt 317-317
(
format
hi
uses
"%2 %1 kaa upayoga karataa hai")
relations-hindi.txt 344-344
(
format
ro
uses
"%2 %n{nu} use%t{foloseºte} %1")
relations-ro.kif 159-159
(
format
sv
uses
"%2 använder %n{inte} %1")
relations-sv.txt 145-145
(
format
tg
uses
"%2 ay gamitin %1")
relations-tg.txt 500-500
(
termFormat
ChineseLanguage
uses
"使用")
domainEnglishFormat.kif 60862-60862
(
termFormat
ChineseLanguage
uses
"用")
chinese_format.kif 248-248
(
termFormat
ChineseTraditionalLanguage
uses
"使用")
domainEnglishFormat.kif 60861-60861
(
termFormat
EnglishLanguage
uses
"uses")
domainEnglishFormat.kif 60860-60860
(
termFormat
de
uses
"verwendet")
terms-de.txt 102-102
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
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
(=>
(
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
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 546-561
(=>
(
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 25873-25885
(=>
(
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
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
(=>
(
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
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
(=>
(
uses
?OBJ ?AGENT)
(
exists
(?PROC)
(
and
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?OBJ))))
Merge.kif 4677-4682
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
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
(=>
(
and
(
instance
?R
Renting
)
(
agent
?R ?A)
(
patient
?R ?O))
(
holdsDuring
(
WhenFn
?R)
(
modalAttribute
(
uses
?O ?A)
Permission
)))
Mid-level-ontology.kif 22478-22485
(=>
(
and
(
instance
?Using
UsingAResource
)
(
resourceUsed
?Using ?Resource)
(
agent
?Using ?Agent))
(
uses
?Resource ?Agent))
QoSontology.kif 1966-1971
(=>
(
attribute
?User
ComputerUser
)
(
exists
(?Computer)
(
and
(
instance
?Computer
Computer
)
(
uses
?Computer ?User))))
QoSontology.kif 1723-1728
(=>
(
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 991-999
(=>
(
instance
?A
MilitaryArtifact
)
(
hasPurpose
?A
(
exists
(?O)
(
and
(
instance
?O
MilitaryOrganization
)
(
uses
?A ?O)))))
Mid-level-ontology.kif 17860-17866
(=>
(
instance
?V
MilitaryVehicle
)
(
hasPurpose
?V
(
exists
(?O)
(
and
(
instance
?O
MilitaryOrganization
)
(
uses
?V ?O)))))
Military.kif 137-143
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4254-4256
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