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 4671-4674
(
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 4668-4668
用
的 1 数量 是
客体
的
instance
(
domain
uses
2
AutonomousAgent
)
Merge.kif 4669-4669
用
的 2 数量 是
施事体
的
instance
(
instance
uses
AsymmetricRelation
)
Merge.kif 4667-4667
用
是
非对称关系
的
instance
(
instance
uses
BinaryPredicate
)
Merge.kif 4666-4666
用
是
二元谓语
的
instance
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 60860-60860
(
termFormat
ChineseLanguage
uses
"用")
chinese_format.kif 248-248
(
termFormat
ChineseTraditionalLanguage
uses
"使用")
domainEnglishFormat.kif 60859-60859
(
termFormat
EnglishLanguage
uses
"uses")
domainEnglishFormat.kif 60858-60858
(
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
如果
有点 物理
是
free
对于顾客出租
有点 HotelFunctionRoom
和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束 和
客体
是
有点 物理
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
过程
的
instance
和
那个 有认知的主事
是
那个 客体
的
agent
或
那个 有认知的主事
经历了
那个 客体
或
那个 施事体
possesses
那个 客体
和
那个 客体
是
客体
的
instance
和
那个 有认知的主事
uses
那个 客体
,
然后
那个 客体
是 对于
那个 施事体
的
price
0
美国美元
(=>
(
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
如果
有点 物理
的使用是对于
施事体
免费 和
过程
是
有点 物理
的
instance
和
那个 施事体
是
有认知的主事
的
customer
和
那个 过程
是
过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
或
那个 有认知的主事
经历了
那个 过程
或
那个 施事体
possesses
那个 过程
和
那个 过程
是
客体
的
instance
和
那个 有认知的主事
uses
那个 过程
,
然后
那个 过程
是 对于
那个 施事体
的
price
0
美国美元
(=>
(
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 25840-25852
如果
客体
是
KnockLight
的
instance
和
施事体
是
人类
的
instance
和
聋
是
那个 施事体
的
attribute
和
那个 施事体
uses
那个 客体
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
碰撞
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
门
的
instance
和
那个 施事体
knows
那个 实体
(=>
(
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
如果
有点 HotelFunctionRoom
的 承租人 能
pay
去使用
有点 物理
和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束 和
客体
是
有点 物理
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
过程
的
instance
和
那个 有认知的主事
是
那个 客体
的
agent
或
那个 有认知的主事
经历了
那个 客体
或
那个 施事体
possesses
那个 客体
和
那个 客体
是
客体
的
instance
和
那个 有认知的主事
uses
那个 客体
,
然后 有存在
实数
和
测量单位
这样
那个 客体
是 对于
那个 施事体
的
price
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 实数
是
greaterThan
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
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
如果
施事体
的 承租人 能
pay
去使用
有点 物理
和
过程
是
有点 物理
的
instance
和
那个 施事体
是
有认知的主事
的
customer
和
那个 过程
是
过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
或
那个 有认知的主事
经历了
那个 过程
或
那个 施事体
possesses
那个 过程
和
那个 过程
是
客体
的
instance
和
那个 有认知的主事
uses
那个 过程
,
然后 有存在
实数
和
测量单位
这样
那个 过程
是 对于
那个 施事体
的
price
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 实数
是
greaterThan
0
(=>
(
uses
?OBJ ?AGENT)
(
exists
(?PROC)
(
and
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?OBJ))))
Merge.kif 4676-4681
如果
施事体
uses
客体
,
然后 有存在
过程
这样
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是导致
那个 过程
的
instrument
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
如果
施事体
provides
客体
和
那个 施事体
是
有认知的主事
的
customer
和
实体
是
那个 客体
的
instance
和
那个 有认知的主事
desires
有存在
另一个 实体
这样
那个 另外 实体
是
有意图过程
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
,
然后
那个 施事体
允许
那个 有认知的主事
执行
那个 有认知的主事
uses
那个 实体
的任务 的声明 has
可能性
的语气
(=>
(
and
(
instance
?R
Renting
)
(
agent
?R ?A)
(
patient
?R ?O))
(
holdsDuring
(
WhenFn
?R)
(
modalAttribute
(
uses
?O ?A)
Permission
)))
Mid-level-ontology.kif 22426-22433
如果
过程
是
租
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 施事体
uses
那个 实体
的声明 has
允许
的语气 在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?Using
UsingAResource
)
(
resourceUsed
?Using ?Resource)
(
agent
?Using ?Agent))
(
uses
?Resource ?Agent))
QoSontology.kif 1966-1971
如果
电脑程序
是
使用A资源
的
instance
和
那个 电脑程序
uses
计算机资源
和
施事体
是
那个 电脑程序
的
agent
,
然后
那个 施事体
uses
那个 计算机资源
(=>
(
attribute
?User
ComputerUser
)
(
exists
(?Computer)
(
and
(
instance
?Computer
Computer
)
(
uses
?Computer ?User))))
QoSontology.kif 1723-1728
如果
电脑用户
是
施事体
的
attribute
,
然后 有存在
客体
这样
那个 客体
是
电脑
的
instance
和
那个 施事体
uses
那个 客体
(=>
(
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 998-1006
如果
客体
是被
施事体
used
在
时距
,
然后 有存在
过程
这样
那个 过程
是
过程
的
instance
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
和
那个 施事体
uses
那个 客体
和
那个 过程
出现 的
time
时段 和
那个 时距
重叠
(=>
(
instance
?A
MilitaryArtifact
)
(
hasPurpose
?A
(
exists
(?O)
(
and
(
instance
?O
MilitaryOrganization
)
(
uses
?A ?O)))))
Mid-level-ontology.kif 17833-17839
如果
物理
是
军事人工品
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
军事组织
的
instance
和
那个 实体
uses
那个 物理
(=>
(
instance
?V
MilitaryVehicle
)
(
hasPurpose
?V
(
exists
(?O)
(
and
(
instance
?O
MilitaryOrganization
)
(
uses
?V ?O)))))
Military.kif 137-143
如果
物理
是
军车
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
军事组织
的
instance
和
那个 实体
uses
那个 物理
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4253-4255
如果
施事体
possesses
客体
,
然后
那个 施事体
uses
那个 客体
的声明 has
允许
的语气
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