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
capability
Sigma KEE - capability
capability
appearance as argument number 1
(
documentation
capability
ChineseLanguage
"(
capability
?PROCESS ?ROLE ?OBJ) 的意思是 ?OBJ 由能力在 ?PROCESS 类型的
Process
担任 ?ROLE 的本分。")
chinese_format.kif 2086-2087
(
documentation
capability
EnglishLanguage
"(
capability
?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in
Process
es of type ?PROCESS.")
Merge.kif 3906-3908
(
documentation
capability
JapaneseLanguage
"(
capability
?PROCESS ?ROLE ?OBJ) とは、?OBJ が、タイプ ?PROCESS の
Process
es で ?ROLE の役割を果たす能力を持っている、という意味である。")
japanese_format.kif 734-735
(
domain
capability
2
CaseRole
)
Merge.kif 3903-3903
能够
的 2 数量 是
格角色
的
instance
(
domain
capability
3
Object
)
Merge.kif 3904-3904
能够
的 3 数量 是
客体
的
instance
(
domainSubclass
capability
1
Process
)
Merge.kif 3902-3902
能够
的 1 数量 是
过程
的
subclass
(
instance
capability
TernaryPredicate
)
Merge.kif 3901-3901
能够
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
capability
"%3 %n 能够担当 %2 的角色做 %1")
chinese_format.kif 67-67
(
format
EnglishLanguage
capability
"%3 is %n capable of doing %1 as a %2")
english_format.kif 67-67
(
format
FrenchLanguage
capability
"%3 est %n capable de faire %1 dans le r�le %2")
french_format.kif 59-59
(
format
ItalianLanguage
capability
"%3 è %n capace di fare %1 nel ruolo %2")
relations-it.txt 40-40
(
format
JapaneseLanguage
capability
"%3 は %1 を %2 として行う capable では %n")
japanese_format.kif 1882-1882
(
format
PortugueseLanguage
capability
"%3 e' %n capaz de fazer %1 no role %2")
portuguese_format.kif 11-11
(
format
cb
capability
"%n kaya %1 himuon %2")
relations-cb.txt 74-74
(
format
cz
capability
"%3 %p{je} %n{nen�} capable to do %1 in role %2")
relations-cz.txt 118-118
(
format
de
capability
"%3 ist faehig %n{nicht}, in der Rolle %2 %1 zu tun")
relations-de.txt 74-74
(
format
hi
capability
"%3 %1 ko %2 kii bhuumikaa men karane ke lie sakshama %n hai")
relations-hindi.txt 82-82
(
format
ro
capability
"%3 %n{nu} este capable%t{capabil} sã facã %1 în rolul de %2")
relations-ro.kif 78-78
(
format
sv
capability
"%3 är %n{inte} kapabel till att %1 rollen %2")
relations-sv.txt 58-58
(
format
tg
capability
"%n kaya %1 gawin %2")
relations-tg.txt 96-96
(
termFormat
ChineseLanguage
capability
"能力")
domainEnglishFormat.kif 13020-13020
(
termFormat
ChineseLanguage
capability
"能够")
chinese_format.kif 68-68
(
termFormat
ChineseTraditionalLanguage
capability
"能力")
domainEnglishFormat.kif 13019-13019
(
termFormat
EnglishLanguage
capability
"capability")
domainEnglishFormat.kif 13018-13018
(
termFormat
de
capability
"faehigkeit")
terms-de.txt 19-19
(
termFormat
tg
capability
"may katako")
relations-tg.txt 97-97
antecedent
(=>
(
and
(
attribute
?P
Muslim
)
(
capability
Hajj
agent
?P))
(
modalAttribute
(
exists
(?H)
(
and
(
instance
?H
Hajj
)
(
agent
?H ?P)))
Obligation
))
ArabicCulture.kif 134-143
如果
穆斯林
是
客体
的
attribute
和
那个 客体
能够担当
主事
的角色做
朝觐
,
然后 有存在
实体
这样
那个 实体
是
朝觐
的
instance
和
那个 客体
是
那个 实体
的
agent
的声明 has
义务
的语气
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
如果
旅客住宿
是
施事体
的
attribute
和
那个 施事体
能够担当
主事
的角色做
RoomCleaningService
,
然后 有存在
有认知的主事
和
客体
这样
那个 施事体
employs
那个 有认知的主事
和
女佣
是
那个 有认知的主事
的
attribute
和
那个 客体
是
HotelUnit
的
instance
和
那个 客体
是
那个 施事体
的财产 的
part
和
那个 客体
能够担当
受事
的角色做
RoomCleaningService
和
那个 有认知的主事
能够担当
服务供应者
的角色做
RoomCleaningService
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
如果
客体
能够担当
格角色
的角色做
有点 过程
和
有点 过程
是
射击
的
subclass
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
武器
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
能够担当
那个 格角色
的角色做
那个 有点 过程
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
如果
机构
能够担当
主事
的角色做
ValetParking
和
那个 机构
是
有认知的主事
的
customer
和
那个 机构
是
located
在
客体
和
过程
是
到达
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 过程
在
那个 客体
结束,
然后 有存在
人类
这样
那个 人类
在
那个 机构
任职
Valet
和 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
ValetParking
的
instance
和
那个 人类
是
那个 另外 实体
的
agent
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 另外 实体
在
那个 第三 实体
结束 和
那个 第三 实体
是
ParkingRegion
的
instance
的声明 has
可能性
的语气
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 2949-2957
如果
客体
是
港口设施
的
instance
和
那个 客体
能够担当
受事
的角色做
船靠泊
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
港口
的
instance
和
那个 另外 客体
和
那个 客体
是
connected
和
那个 另外 客体
能够担当
路径
的角色做
船靠泊
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
如果
人类
是
人类
的
instance
和
群体
是
群体
的
instance
和 对所有
试验
和
物理
如果 有存在
有点 过程
这样
那个 试验
是
试验
的
instance
和
那个 物理
是
过程
的
instance
和
那个 物理
是
events
在
那个 试验
的
member
和
那个 物理
是
有点 过程
的
instance
和
那个 人类
能够担当
经历者
的角色做
那个 有点 过程
,
然后
那个 物理
是
那个 群体
的
member
和
如果
另一个 物理
是
那个 群体
的
member
,
然后
那个 另外 物理
是
过程
的
instance
和 有存在
另一个 试验
和
那个 另外 物理
ESS 这样
那个 另外 试验
是
试验
的
instance
和
那个 另外 物理
是
events
在
那个 另外 试验
的
member
和
那个 另外 物理
是
那个 另外 物理
ESS 的
instance
和
那个 人类
能够担当
经历者
的角色做
那个 另外 物理
ESS
,
然后 所有流程
那个 人类
是
qualified
对于
equal
那个 群体
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
如果
群体
和
另一个 群体
是
orthogonal
tests
和
客体
是
人类
的
instance
和
物理
是
有点 过程
的
instance
和
有点 过程
是
试验
的
subclass
和
那个 物理
是
那个 群体
的
member
和
那个 客体
能够担当
experimentalSubject
的角色做
那个 有点 过程
,
然后 有存在
另一个 物理
和
另一个 有点 过程
这样
那个 另外 物理
是
另一个 有点 过程
的
instance
和
那个 另外 物理
是
那个 另外 群体
的
member
和
那个 另外 有点 过程
是
试验
的
subclass
和
那个 客体
能够担当
experimentalSubject
的角色做
那个 另外 有点 过程
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
如果
独家男性选举权
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
选举
是
那个 国家
的
election
的
instance
和
那个 人类
能够担当
主事
的角色做
那个 选举
的
voting
,
然后
男
是
那个 人类
的
attribute
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1052-1060
如果
实数
年持续时间
是
施事体
的
suffrage
最大年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
和
那个 客体
的
age
是
另一个 实数
年持续时间
,
然后
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1040-1050
如果
实数
年持续时间
是
施事体
的
suffrage
最大年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
,
然后 有存在
另一个 实数
这样
那个 客体
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 980-988
如果
实数
年持续时间
是
施事体
的
suffrage
最小年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
和
那个 客体
的
age
是
另一个 实数
年持续时间
,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 968-978
如果
实数
年持续时间
是
施事体
的
suffrage
最小年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
,
然后 有存在
另一个 实数
这样
那个 客体
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
weaponCarryingCapability
?MV ?WC ?COUNT)
(
instance
?WEAPON ?WC)
(
capability
?PC ?ROLE ?WEAPON)
(
or
(
subclass
?PC
Shooting
)
(
subclass
?PC
Damaging
)))
(
capability
?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
如果
军车
是 对于
正整数
的
weapon
携带容量
有点 武器
和
客体
是
有点 武器
的
instance
和
那个 客体
能够担当
格角色
的角色做
有点 过程
和
有点 过程
是
射击
的
subclass
或
那个 有点 过程
是
损坏
的
subclass
,
然后
那个 军车
能够担当
那个 格角色
的角色做
那个 有点 过程
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3918-3924
如果
客体
能够担当
格角色
的角色做
有点 过程
,
然后 有存在
实体
这样
那个 实体
是
有点 过程
的
instance
和
那个 格角色
那个 实体
and
那个 客体
的声明 has
可能性
的语气
(=>
(
capability
Breathing
experiencer
?ANIMAL)
(
exists
(?LUNG)
(
and
(
component
?LUNG ?ANIMAL)
(
instance
?LUNG
Lung
))))
Mid-level-ontology.kif 11191-11196
如果
躯体性物体
能够担当
经历者
的角色做
呼吸
,
然后 有存在
另一个 躯体性物体
这样
那个 另外 躯体性物体
是
那个 躯体性物体
的
component
和
那个 另外 躯体性物体
是
肺
的
instance
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
如果
施事体
能够担当
主事
的角色做
ChildCareService
,
然后 有存在
有认知的主事
这样
那个 施事体
employs
那个 有认知的主事
和
那个 有认知的主事
能够担当
服务供应者
的角色做
ChildCareService
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 148-151
如果
机构
能够担当
主事
的角色做
ValetParking
,
然后 有存在
人类
这样
那个 人类
在
那个 机构
任职
Valet
(=>
(
trusts
?A1 ?A2
(
capability
?P
agent
?A2))
(
knows
?A1
(
capability
?P
agent
?A2)))
Law.kif 384-388
如果
trusts
有认知的主事
,
施事体
and
那个 施事体
能够担当
主事
的角色做
实体
,
然后
那个 有认知的主事
knows
那个 施事体
能够担当
主事
的角色做
那个 实体
consequent
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1601-1607
LegalAgent
是
实体
的
attribute
在
时间位置
holdsDuring
若且唯若
那个 实体
能够担当
主事
的角色做
法律诉讼
或
那个 实体
能够担当
受事
的角色做
法律诉讼
在
那个 时间位置
holdsDuring
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
如果
施事体
can
hold
有点 过程
的种类,
然后 有存在
客体
这样
那个 客体
是
那个 施事体
的财产 的
element
和
那个 客体
能够担当
位于
的角色做
有点 过程
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10685-10696
如果
antagonistMuscles
有点 肌肉
and
另一个 有点 肌肉
和
过程
是
Extension
的
instance
和
有点 肌肉
C 是导致
那个 过程
的
instrument
和
移动
运动
and
另一个 有点 肌肉
C 和
那个 有点 肌肉
C 是
那个 有点 肌肉
的
instance
和
那个 另外 有点 肌肉
C 是
那个 另外 有点 肌肉
的
instance
和
那个 有点 肌肉
C 是
第三 客体
的
part
和
那个 另外 有点 肌肉
C 是
那个 第三 客体
的
part
和
那个 第三 客体
是
哺乳动物
的
instance
,
然后
那个 另外 有点 肌肉
C 能够担当
工具
的角色做
Flexion
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?F
Flexion
)
(
instrument
?F ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10672-10683
如果
antagonistMuscles
有点 肌肉
and
另一个 有点 肌肉
和
运动
是
Flexion
的
instance
和
有点 肌肉
C 是导致
那个 运动
的
instrument
和
移动
那个 运动
and
另一个 有点 肌肉
C 和
那个 有点 肌肉
C 是
那个 有点 肌肉
的
instance
和
那个 另外 有点 肌肉
C 是
那个 另外 有点 肌肉
的
instance
和
那个 有点 肌肉
C 是
第三 客体
的
part
和
那个 另外 有点 肌肉
C 是
那个 第三 客体
的
part
和
那个 第三 客体
是
哺乳动物
的
instance
,
然后
那个 另外 有点 肌肉
C 能够担当
工具
的角色做
Extension
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
如果
旅客住宿
是
施事体
的
attribute
和
那个 施事体
能够担当
主事
的角色做
RoomCleaningService
,
然后 有存在
有认知的主事
和
客体
这样
那个 施事体
employs
那个 有认知的主事
和
女佣
是
那个 有认知的主事
的
attribute
和
那个 客体
是
HotelUnit
的
instance
和
那个 客体
是
那个 施事体
的财产 的
part
和
那个 客体
能够担当
受事
的角色做
RoomCleaningService
和
那个 有认知的主事
能够担当
服务供应者
的角色做
RoomCleaningService
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
如果
客体
能够担当
格角色
的角色做
有点 过程
和
有点 过程
是
射击
的
subclass
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
武器
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
能够担当
那个 格角色
的角色做
那个 有点 过程
(=>
(
and
(
connectedPeripheral
?COD ?C)
(
instance
?COD
ComputerInputDevice
)
(
instance
?COD ?CLASS))
(
capability
?CLASS
origin
DataTransfer
))
ComputingBrands.kif 3552-3557
如果
connectedPeripheral
电脑硬件
and
电脑
和
那个 电脑硬件
是
电脑输入设备
的
instance
和
那个 电脑硬件
是
那个 电脑
LASS 的
instance
,
然后
数据传输
能够担当
源头
的角色做
那个 电脑
LASS
(=>
(
and
(
connectedPeripheral
?COD ?C)
(
instance
?COD
ComputerOutputDevice
)
(
instance
?COD ?CLASS))
(
capability
?CLASS
destination
DataTransfer
))
ComputingBrands.kif 3545-3550
如果
connectedPeripheral
电脑硬件
and
电脑
和
那个 电脑硬件
是
电脑输出设备
的
instance
和
那个 电脑硬件
是
那个 电脑
LASS 的
instance
,
然后
数据传输
能够担当
终点
的角色做
那个 电脑
LASS
(=>
(
and
(
instance
?Bond
CallableBond
)
(
issuedBy
?Bond ?Agent))
(
capability
Call
agent
?Agent))
FinancialOntology.kif 2477-2481
如果
证书
是
可赎回的债券
的
instance
和
有认知的主事
是由
那个 证书
的
issued
,
然后
那个 有认知的主事
能够担当
主事
的角色做
呼叫
(=>
(
and
(
instance
?C
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3496-3510
如果
电脑程序
是
ComputerBackingUp
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
数字数据
的
instance
和
有认知的主事
是
那个 电脑程序
的
agent
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 电脑程序
出现 的
time
比
那个 实体
发生的
earlier
和 有存在
第三 实体
这样
那个 第三 实体
是
电脑程序
的
instance
和
那个 数字数据
能够担当
数据已处理
的角色做
那个 第三 实体
在
那个 实体
holdsDuring
(=>
(
and
(
instance
?D
DeliveryService
)
(
agent
?D ?AGENT))
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 532-536
如果
过程
是
DeliveryService
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 施事体
能够担当
主事
的角色做
DeliveryService
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
如果
过程
是
决定
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
集合
是
集合
的
instance
和
那个 集合
是
那个 过程
的
patient
和
实体
是
那个 集合
的
element
,
然后
那个 有认知的主事
believes
有存在
另一个 实体
这样
那个 实体
是
那个 另外 实体
的
instance
和
那个 另外 实体
是
有意图过程
的
subclass
和
那个 有认知的主事
能够担当
主事
的角色做
那个 另外 实体
(=>
(
and
(
instance
?DISEASE
LifeThreateningDisease
)
(
attribute
?AGENT ?DISEASE))
(
capability
Death
experiencer
?AGENT))
WMD.kif 1029-1033
如果
属性
是
危及生命的疾病
的
instance
和
那个 属性
是
客体
的
attribute
,
然后
那个 客体
能够担当
经历者
的角色做
死亡
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
如果
设备
是
枪
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 设备
的
effective
范围 和
那个 设备
和
客体
的
distance
是
那个 实数
1
那个 测量单位
和
那个 客体
是
生物
的
instance
和 不存在
那个 客体
2 这样
那个 客体
2 是在
那个 客体
和
那个 设备
between
和
那个 实数
1 是
lessThanOrEqualTo
那个 实数
,
然后 有存在
符号串
这样
那个 设备
能够担当
工具
的角色做
那个 符号串
所描述的类别
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
如果
设备
是
枪
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 设备
的
effective
范围 和
那个 设备
和
客体
的
distance
是
那个 实数
1
那个 测量单位
和 不存在
那个 客体
2 这样
那个 客体
2 是在
那个 客体
和
那个 设备
between
和
那个 实数
1 是
lessThanOrEqualTo
那个 实数
,
然后 有存在
符号串
这样
那个 设备
能够担当
工具
的角色做
那个 符号串
所描述的类别
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
如果
客体
是
港口
的
instance
和
那个 客体
对于
实数
equipment
记数
船泊位
和
那个 实数
是
greaterThan
0,
然后
那个 客体
能够担当
路径
的角色做
船靠泊
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Constructing
resource
?THING)
(
capability
Agriculture
resource
?THING))
(
patient
?EV ?THING))))))
naics.kif 7242-7257
如果
群体
是
机构
的
instance
和
建筑材料和园艺设备及用品经销商
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
客体
这样
那个 施事体
是
出售
的
instance
和
那个 客体
是
客体
的
instance
和
那个 客体
能够担当
资源
的角色做
建筑
或
那个 客体
能够担当
资源
的角色做
农业
和
那个 客体
是
那个 施事体
的
patient
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
SportingGoodsHobbyBookAndMusicStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Sport
instrument
?THING)
(
capability
MakingMusic
instrument
?THING)
(
instance
?THING
Book
)
(
instance
?THING
MusicRecording
)
(
instance
?THING
MusicText
))
(
patient
?EV ?THING))))))
naics.kif 7600-7618
如果
群体
是
机构
的
instance
和
体育用品爱好书籍和音乐商店
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
客体
这样
那个 施事体
是
出售
的
instance
和
那个 客体
是
客体
的
instance
和
那个 客体
能够担当
工具
的角色做
运动
或
那个 客体
能够担当
工具
的角色做
制作音乐
或
那个 客体
是
书
的
instance
或
那个 客体
是
音乐录音
的
instance
或
那个 客体
是
音乐文本
的
instance
和
那个 客体
是
那个 施事体
的
patient
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Utilities
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
or
(
instance
?EV
Removing
)
(
instance
?THING
Sewage
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Electron
)
(
instance
?THING
Water
)
(
and
(
instance
?THING
PureSubstance
)
(
capability
Combustion
patient
?THING)))
(
member
?MEM2 ?ORG)
(
instance
?EV2
FinancialTransaction
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 954-977
如果
群体
是
机构
的
instance
和
公用事业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
客体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
移除
的
instance
或
那个 客体
是
污水
的
instance
和
那个 客体
是
那个 施事体
的
patient
和
那个 客体
是
电子
的
instance
或
那个 客体
是
水
的
instance
或
那个 客体
是
純物质
的
instance
和
那个 客体
能够担当
受事
的角色做
燃烧
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
金融交易
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 客体
是
那个 施事体
2 的
patient
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
如果
过程
是
BankCardPayment
的
instance
和
那个 过程
在
客体
结束,
然后
那个 客体
能够担当
终点
的角色做
BankCardPayment
(=>
(
and
(
instance
?P
CateringService
)
(
instance
?P ?CLASS)
(
agent
?P ?REST))
(
capability
?CLASS
agent
?REST))
Dining.kif 579-584
如果
过程
是
CateringService
的
instance
和
那个 过程
是
另一个 有点 过程
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 施事体
能够担当
主事
的角色做
另一个 有点 过程
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9561-9574
如果
客体
是
植物
的
instance
和
另一个 客体
是
那个 客体
的
part
,
然后 有存在
过程
,
实体
, and 和
另一个 有点 过程
这样
那个 过程
是
另一个 有点 过程
的
instance
和
那个 另外 有点 过程
是
保存
的
subclass
和
那个 实体
是
淡水
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 另外 客体
能够担当
工具
的角色做
那个 另外 有点 过程
和
那个 另外 客体
是
PlantLeaf
的
instance
或
那个 另外 客体
是
PlantStem
的
instance
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 2949-2957
如果
客体
是
港口设施
的
instance
和
那个 客体
能够担当
受事
的角色做
船靠泊
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
港口
的
instance
和
那个 另外 客体
和
那个 客体
是
connected
和
那个 另外 客体
能够担当
路径
的角色做
船靠泊
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
capability
(
KappaFn
?SHOOTING
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)))
instrument
?GUN))
MilitaryDevices.kif 233-245
如果
物理
是
抛射物
的
instance
和
长度测量
是
有点 枪
的
caliber
和
客体
是
有点 枪
的
instance
和
那个 物理
的
width
是
那个 长度测量
1 和
那个 长度测量
equal
那个 长度测量
1,
然后
那个 客体
能够担当
工具
的角色做
符号串
所描述的类别
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
如果
格角色
是
格角色
的
instance
和
那个 格角色
实体
and
客体
和
那个 实体
是
有点 过程
的
instance
和
有点 过程
是
过程
的
subclass
,
然后
那个 客体
能够担当
那个 格角色
的角色做
那个 有点 过程
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
containsInformation
(
forall
(?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
UniversalSuffrageLaw
)
Government.kif 1092-1103
对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
如果 ?AGENT 是 ?POLITY 的
citizen
和 ?VOTINGAGE
年持续时间
是 ?POLITY 的
suffrage
最小年纪 和 ?AGENT 的
age
是 ?AGE
年持续时间
和 ?AGE 是
greaterThanOrEqualTo
?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的
election
的
instance
,
然后 ?AGENT 能够担当
主事
的角色做 ?ELECTION 的
voting
contains
普选法
的资料
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