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
capability
の数値 2 引数は
格役割
の
instance
では %n
(
domain
capability
3
Object
)
Merge.kif 3904-3904
capability
の数値 3 引数は
オブジェクト
の
instance
では %n
(
domainSubclass
capability
1
Process
)
Merge.kif 3902-3902
capability
の数値 1 引数は
工程
の
subclass
では %n
(
instance
capability
TernaryPredicate
)
Merge.kif 3901-3901
capability
は
3進述語
の
instance
では %n
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
Muslim
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Hajj
を
agent
として行う
capable
では %n
ステートメント
エンティティー
エンティティー
は
Hajj
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n には
Obligation
の
modal
force
が ある
(=>
(
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
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
RoomCleaningService
を
agent
として行う
capable
では %n
認識エージェント
オブジェクト
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
Maid
は
認識エージェント
の
attribute
では %n
オブジェクト
は
HotelUnit
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
belongings
の
part
では %n
オブジェクト
は
RoomCleaningService
を
patient
として行う
capable
では %n
認識エージェント
は
RoomCleaningService
を
serviceProvider
として行う
capable
では %n
(=>
(
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
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
工程
は
射撃
の
subclass
では %n
オブジェクト
オブジェクト
は
武器
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
(=>
(
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
を
agent
として行う
capable
では %n
customer
認識エージェント
and
組織
組織
は
オブジェクト
に
located
して %n
工程
は
Arriving
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
に
end
s %n{ない}
人[人間]
人[人間]
は
組織
の
Valet
の
position
を holds %n{ない} ステートメント
エンティティー
エンティティー
エンティティー
は
ValetParking
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
ParkingRegion
の
instance
では %n には
Possibility
の
modal
force
が ある
(=>
(
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
オブジェクト
は
PortFacility
の
instance
では %n
オブジェクト
は
ShipBerthing
を
patient
として行う
capable
では %n
オブジェクト
オブジェクト
は
Harbor
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
ShipBerthing
を
path
として行う
capable
では %n
(=>
(
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
では %n
コレクション
は
コレクション
の
instance
では %n
Experimenting
物理
工程
Experimenting
は
Experimenting
の
instance
では %n
物理
は
工程
の
instance
では %n
物理
は
QualifyingEventsFn
Experimenting
の
member
では %n
物理
は
工程
の
instance
では %n
人[人間]
は
工程
を
experiencer
として行う
capable
では %n
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
物理
は
工程
の
instance
では %n
Experimenting
物理
ESS
Experimenting
は
Experimenting
の
instance
では %n
物理
は
QualifyingEventsFn
Experimenting
の
member
では %n
物理
は
物理
ESS の
instance
では %n
人[人間]
は
物理
ESS を
experiencer
として行う
capable
では %n
QualifiedTreatmentsFn
人[人間]
は
コレクション
と
equal
では %n
(=>
(
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
orthogonalTests
コレクション
and
コレクション
オブジェクト
は
人[人間]
の
instance
では %n
物理
は
工程
の
instance
では %n
工程
は
Experimenting
の
subclass
では %n
物理
は
コレクション
の
member
では %n
オブジェクト
は
工程
を
experimentalSubject
として行う
capable
では %n
物理
工程
物理
は
工程
の
instance
では %n
物理
は
コレクション
の
member
では %n
工程
は
Experimenting
の
subclass
では %n
オブジェクト
は
工程
を
experimentalSubject
として行う
capable
では %n
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
ExclusiveMaleSuffrage
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
Election
は
ElectionFn
国民
の
instance
では %n
人[人間]
は
VotingFn
Election
を
agent
として行う
capable
では %n
Male
は
人[人間]
の
attribute
では %n
(=>
(
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
suffrageAgeMaximum
AutonomousAgent
and
実数
の
YearDuration
(s)
Election
は
ElectionFn
AutonomousAgent
の
instance
では %n
オブジェクト
は
VotingFn
Election
を
agent
として行う
capable
では %n
オブジェクト
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
より
less
または同等 では %n
(=>
(
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
suffrageAgeMaximum
AutonomousAgent
and
実数
の
YearDuration
(s)
Election
は
ElectionFn
AutonomousAgent
の
instance
では %n
オブジェクト
は
VotingFn
Election
を
agent
として行う
capable
では %n
実数
オブジェクト
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
より
less
または同等 では %n
(=>
(
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
suffrageAgeMinimum
AutonomousAgent
and
実数
の
YearDuration
(s)
Election
は
ElectionFn
AutonomousAgent
の
instance
では %n
オブジェクト
は
VotingFn
Election
を
agent
として行う
capable
では %n
オブジェクト
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
(=>
(
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
suffrageAgeMinimum
AutonomousAgent
and
実数
の
YearDuration
(s)
Election
は
ElectionFn
AutonomousAgent
の
instance
では %n
オブジェクト
は
VotingFn
Election
を
agent
として行う
capable
では %n
実数
オブジェクト
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
(=>
(
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
weaponCarryingCapability
MilitaryVehicle
,
武器
and
正の整数
オブジェクト
は
武器
の
instance
では %n
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
工程
は
射撃
の
subclass
では %n
工程
は
損害を与える
の
subclass
では %n
MilitaryVehicle
は
工程
を
格役割
として行う
capable
では %n
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3918-3924
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
ステートメント
エンティティー
エンティティー
は
工程
の
instance
では %n
格役割
エンティティー
and
オブジェクト
には
Possibility
の
modal
force
が ある
(=>
(
capability
Breathing
experiencer
?ANIMAL)
(
exists
(?LUNG)
(
and
(
component
?LUNG ?ANIMAL)
(
instance
?LUNG
Lung
))))
Mid-level-ontology.kif 11191-11196
微粒子オブジェクト
は
呼吸
を
experiencer
として行う
capable
では %n
微粒子オブジェクト
微粒子オブジェクト
は
微粒子オブジェクト
の
component
では %n
微粒子オブジェクト
は
Lung
の
instance
では %n
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
AutonomousAgent
は
ChildCareService
を
agent
として行う
capable
では %n
認識エージェント
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
認識エージェント
は
ChildCareService
を
serviceProvider
として行う
capable
では %n
(=>
(
capability
ValetParking
agent
?AGENT)
(
exists
(?VALET)
(
occupiesPosition
?VALET
Valet
?AGENT)))
TransportDetail.kif 148-151
組織
は
ValetParking
を
agent
として行う
capable
では %n
人[人間]
人[人間]
は
組織
の
Valet
の
position
を holds %n{ない}
(=>
(
trusts
?A1 ?A2
(
capability
?P
agent
?A2))
(
knows
?A1
(
capability
?P
agent
?A2)))
Law.kif 384-388
trusts
認識エージェント
,
AutonomousAgent
and
AutonomousAgent
は
エンティティー
を
agent
として行う
capable
では %n
認識エージェント
は
AutonomousAgent
は
エンティティー
を
agent
として行う
capable
では %n を
know
s %n{ない}
consequent
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1601-1607
LegalAgent
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
訴訟
を
agent
として行う
capable
では %n
エンティティー
は
訴訟
を
patient
として行う
capable
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
activityCapability
AutonomousAgent
and
工程
オブジェクト
オブジェクト
は
AutonomousAgent
の
belongings
の
element
%n
オブジェクト
は
工程
を
located
として行う
capable
では %n
(=>
(
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
では %n
筋肉
C は
工程
の
instrument
では %n
moves
motion
and
筋肉
C
筋肉
C は
筋肉
の
instance
では %n
筋肉
C は
筋肉
の
instance
では %n
筋肉
C は
オブジェクト
の
part
では %n
筋肉
C は
オブジェクト
の
part
では %n
オブジェクト
は
哺乳動物
の
instance
では %n
筋肉
C は
Flexion
を
instrument
として行う
capable
では %n
(=>
(
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
筋肉
motion
は
Flexion
の
instance
では %n
筋肉
C は
motion
の
instrument
では %n
moves
motion
and
筋肉
C
筋肉
C は
筋肉
の
instance
では %n
筋肉
C は
筋肉
の
instance
では %n
筋肉
C は
オブジェクト
の
part
では %n
筋肉
C は
オブジェクト
の
part
では %n
オブジェクト
は
哺乳動物
の
instance
では %n
筋肉
C は
Extension
を
instrument
として行う
capable
では %n
(=>
(
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
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
RoomCleaningService
を
agent
として行う
capable
では %n
認識エージェント
オブジェクト
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
Maid
は
認識エージェント
の
attribute
では %n
オブジェクト
は
HotelUnit
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
belongings
の
part
では %n
オブジェクト
は
RoomCleaningService
を
patient
として行う
capable
では %n
認識エージェント
は
RoomCleaningService
を
serviceProvider
として行う
capable
では %n
(=>
(
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
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
工程
は
射撃
の
subclass
では %n
オブジェクト
オブジェクト
は
武器
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
(=>
(
and
(
connectedPeripheral
?COD ?C)
(
instance
?COD
ComputerInputDevice
)
(
instance
?COD ?CLASS))
(
capability
?CLASS
origin
DataTransfer
))
ComputingBrands.kif 3552-3557
connectedPeripheral
ComputerHardware
and
Computer
ComputerHardware
は
ComputerInputDevice
の
instance
では %n
ComputerHardware
は
Computer
LASS の
instance
では %n
DataTransfer
は
Computer
LASS を
origin
として行う
capable
では %n
(=>
(
and
(
connectedPeripheral
?COD ?C)
(
instance
?COD
ComputerOutputDevice
)
(
instance
?COD ?CLASS))
(
capability
?CLASS
destination
DataTransfer
))
ComputingBrands.kif 3545-3550
connectedPeripheral
ComputerHardware
and
Computer
ComputerHardware
は
ComputerOutputDevice
の
instance
では %n
ComputerHardware
は
Computer
LASS の
instance
では %n
DataTransfer
は
Computer
LASS を
destination
として行う
capable
では %n
(=>
(
and
(
instance
?Bond
CallableBond
)
(
issuedBy
?Bond ?Agent))
(
capability
Call
agent
?Agent))
FinancialOntology.kif 2477-2481
証明書
は
CallableBond
の
instance
では %n
issuedBy
証明書
and
認識エージェント
認識エージェント
は
Call
を
agent
として行う
capable
では %n
(=>
(
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
ComputerProcess
は
ComputerBackingUp
の
instance
では %n
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
は
DigitalData
の
instance
では %n
認識エージェント
は
ComputerProcess
の
agent
では %n
認識エージェント
が
エンティティー
ComputerProcess
の
time
の existence は
エンティティー
より
earlier
happens %n{ない}
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
DigitalData
は
エンティティー
を
dataProcessed
として行う
capable
では %n は
エンティティー
の
during
holds %n{ない} を
desire
s %n{ない}
(=>
(
and
(
instance
?D
DeliveryService
)
(
agent
?D ?AGENT))
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 532-536
工程
は
DeliveryService
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
DeliveryService
を
agent
として行う
capable
では %n
(=>
(
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
工程
は
Deciding
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
セット
は
セット
の
instance
では %n
セット
は
工程
の
patient
では %n
エンティティー
は
セット
の
element
%n
認識エージェント
は
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
意図的なプロセス
の
subclass
では %n
認識エージェント
は
エンティティー
を
agent
として行う
capable
では %n を
believe
s %n{ない}
(=>
(
and
(
instance
?DISEASE
LifeThreateningDisease
)
(
attribute
?AGENT ?DISEASE))
(
capability
Death
experiencer
?AGENT))
WMD.kif 1029-1033
属性
は
LifeThreateningDisease
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
オブジェクト
は
死
を
experiencer
として行う
capable
では %n
(=>
(
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
デバイス
は
Gun
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
effectiveRange
デバイス
and
実数
の
測定単位
(s)
デバイス
と
オブジェクト
の
distance
は
実数
1 の
測定単位
(s) では %n
オブジェクト
は
物
の
instance
では %n
オブジェクト
2
オブジェクト
2 は
オブジェクト
と
デバイス
の
between
では %n
実数
1 は
実数
より
less
または同等 では %n
記号文字列
デバイス
は
記号文字列
で記述される
class
を
instrument
として行う
capable
では %n
(=>
(
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
デバイス
は
Gun
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
effectiveRange
デバイス
and
実数
の
測定単位
(s)
デバイス
と
オブジェクト
の
distance
は
実数
1 の
測定単位
(s) では %n
オブジェクト
2
オブジェクト
2 は
オブジェクト
と
デバイス
の
between
では %n
実数
1 は
実数
より
less
または同等 では %n
記号文字列
デバイス
は
記号文字列
で記述される
class
を
instrument
として行う
capable
では %n
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
オブジェクト
は
Harbor
の
instance
では %n
equipmentCount
オブジェクト
,
ShipBerth
and
実数
実数
は 0 より
greater
では %n
オブジェクト
は
ShipBerthing
を
path
として行う
capable
では %n
(=>
(
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
では %n
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
AutonomousAgent
は
販売
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
構築
を
resource
として行う
capable
では %n
オブジェクト
は
Agriculture
を
resource
として行う
capable
では %n
オブジェクト
は
AutonomousAgent
の
patient
では %n
(=>
(
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
では %n
SportingGoodsHobbyBookAndMusicStores
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
AutonomousAgent
は
販売
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
スポーツ
を
instrument
として行う
capable
では %n
オブジェクト
は
MakingMusic
を
instrument
として行う
capable
では %n
オブジェクト
は
本
の
instance
では %n
オブジェクト
は
MusicRecording
の
instance
では %n
オブジェクト
は
MusicText
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
patient
では %n
(=>
(
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
では %n
Utilities
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
除却
の
instance
では %n
オブジェクト
は
Sewage
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
patient
では %n
オブジェクト
は
電子
の
instance
では %n
オブジェクト
は
水
の
instance
では %n
オブジェクト
は
純物質
の
instance
では %n
オブジェクト
は
燃焼
を
patient
として行う
capable
では %n
工程
2 は
コレクション
の
member
では %n
AutonomousAgent
2 は
金融取引
の
instance
では %n
工程
2 は
AutonomousAgent
2 の
agent
では %n
オブジェクト
は
AutonomousAgent
2 の
patient
では %n
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
工程
は
BankCardPayment
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
BankCardPayment
を
destination
として行う
capable
では %n
(=>
(
and
(
instance
?P
CateringService
)
(
instance
?P ?CLASS)
(
agent
?P ?REST))
(
capability
?CLASS
agent
?REST))
Dining.kif 579-584
工程
は
CateringService
の
instance
では %n
工程
は
工程
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
を
agent
として行う
capable
では %n
(=>
(
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
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
エンティティー
and
工程
工程
は
工程
の
instance
では %n
工程
は
保持
の
subclass
では %n
エンティティー
は
FreshWater
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
工程
を
instrument
として行う
capable
では %n
オブジェクト
は
PlantLeaf
の
instance
では %n
オブジェクト
は
PlantStem
の
instance
では %n
(=>
(
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
オブジェクト
は
PortFacility
の
instance
では %n
オブジェクト
は
ShipBerthing
を
patient
として行う
capable
では %n
オブジェクト
オブジェクト
は
Harbor
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
ShipBerthing
を
path
として行う
capable
では %n
(=>
(
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
物理
は
Projectile
の
instance
では %n
caliber
Gun
and
長さ測定
オブジェクト
は
Gun
の
instance
では %n
物理
の
width
は
長さ測定
1 では %n
長さ測定
は
長さ測定
1 と
equal
では %n
オブジェクト
は
エンティティー
class
を
instrument
として行う
capable
では %n
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
格役割
は
格役割
の
instance
では %n
格役割
エンティティー
and
オブジェクト
エンティティー
は
工程
の
instance
では %n
工程
は
工程
の
subclass
では %n
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
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
では %n
suffrageAgeMinimum
?POLITY and ?VOTINGAGE の
YearDuration
(s) ?AGENT の
age
は ?AGE の
YearDuration
(s) では ?AGE は ?VOTINGAGE
greater
では %n ?ELECTION は
ElectionFn
?POLITY の
instance
では %n
?AGENT は
VotingFn
?ELECTION を
agent
として行う
capable
では %n
は
UniversalSuffrageLaw
の情報を
contain
s %n{ない}
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