capability
(=>
(
attribute
?X
Flammable
)
(
capability
Combustion
patient
?X))
Merge.kif 12588-12590
Flammable
は
オブジェクト
の
attribute
では %n
オブジェクト
は
燃焼
を
patient
として行う
capable
では %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
(=>
(
capabilityDuring
?PROCESS ?ROLE ?OBJ ?TIMEINT)
(
exists
(?TIME)
(
and
(
instance
?TIME ?TIMEINT)
(
holdsDuring
?TIME
(
capability
?PROCESS ?ROLE ?OBJ)))))
Dining.kif 922-928
capabilityDuring
工程
,
格役割
,
オブジェクト
and
時間間隔
時間位置
時間位置
は
時間間隔
の
instance
では %n
オブジェクト
は
工程
を
格役割
として行う
capable
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
deliveryRegion
?AGENT ?REGION)
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 546-548
deliveryRegion
AutonomousAgent
and
地理的地域
AutonomousAgent
は
DeliveryService
を
agent
として行う
capable
では %n
(=>
(
fitForMilitaryService
?AGENT ?PROCESS)
(
capability
?PROCESS
agent
?AGENT))
Military.kif 917-919
fitForMilitaryService
認識エージェント
and
工程
認識エージェント
は
工程
を
agent
として行う
capable
では %n
(=>
(
hasSkill
?PROC ?AGENT)
(
capability
?PROC
agent
?AGENT))
Merge.kif 3987-3989
AutonomousAgent
は
工程
をする
skill
が %n{ない}
AutonomousAgent
は
工程
を
agent
として行う
capable
では %n
(=>
(
holdsDuring
?T
(
and
(
instance
?C
Computer
)
(
attribute
?C
AirplaneMode
)))
(
not
(
holdsDuring
?T
(
capability
(
NetworkCommunicationFn
WirelessNetwork
)
origin
?C))))
ComputingBrands.kif 1820-1827
エンティティー
は
Computer
の
instance
では %n
スタンドアロンモード
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は %1 を介した通信 を
origin
として行う
capable
では %n は
時間位置
の
during
hold ない
(=>
(
holdsDuring
?T
(
attribute
?H
AVPUAlertStatus
))
(
holdsDuring
?T
(
capability
?H
agent
Communication
)))
Medicine.kif 6427-6431
AVPUAlertStatus
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
コミュニケーション
は
エンティティー
を
agent
として行う
capable
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
holdsDuring
?T
(
attribute
?H
Ambulatory
))
(
holdsDuring
?T
(
capability
Walking
agent
?H)))
Medicine.kif 390-394
Ambulatory
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
歩行
を
agent
として行う
capable
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
holdsDuring
?T
(
attribute
?H
Conscious
))
(
holdsDuring
?T
(
capability
IntentionalProcess
agent
?H)))
Medicine.kif 441-445
Conscious
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
意図的なプロセス
を
agent
として行う
capable
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
instance
?A
Animal
)
(
capability
Drooling
experiencer
?A))
Mid-level-ontology.kif 6583-6585
オブジェクト
は
動物
の
instance
では %n
オブジェクト
は
Drooling
を
experiencer
として行う
capable
では %n
(=>
(
instance
?A
AutonomousAgent
)
(
capability
SocialInteraction
agent
?A))
Merge.kif 13015-13017
オブジェクト
は
AutonomousAgent
の
instance
では %n
オブジェクト
は
社会的交流
を
agent
として行う
capable
では %n
(=>
(
instance
?AGENT
AutonomousAgent
)
(
exists
(?PROC)
(
capability
?PROC
agent
?AGENT)))
Merge.kif 1561-1564
オブジェクト
は
AutonomousAgent
の
instance
では %n
工程
オブジェクト
は
工程
を
agent
として行う
capable
では %n
(=>
(
instance
?AGENT
CognitiveAgent
)
(
capability
Reasoning
agent
?AGENT))
Merge.kif 11997-11999
オブジェクト
は
認識エージェント
の
instance
では %n
オブジェクト
は
推理
を
agent
として行う
capable
では %n
(=>
(
instance
?AGENT
LifeThreateningAgent
)
(
capability
Killing
instrument
?AGENT))
WMD.kif 1013-1015
オブジェクト
は
LifeThreateningAgent
の
instance
では %n
オブジェクト
は
殺害
を
instrument
として行う
capable
では %n
(=>
(
instance
?AGENT
SentientAgent
)
(
capability
Perception
experiencer
?AGENT))
Merge.kif 13461-13463
オブジェクト
は
意識[知覚]を持つ代理(人)
の
instance
では %n
オブジェクト
は
知覚
を
experiencer
として行う
capable
では %n
(=>
(
instance
?ANTENNA
Antenna
)
(
capability
RadioEmission
instrument
?ANTENNA))
Mid-level-ontology.kif 15828-15830
オブジェクト
は
Antenna
の
instance
では %n
オブジェクト
は
RadioEmission
を
instrument
として行う
capable
では %n
(=>
(
instance
?ANTIBIOTIC
Antibiotic
)
(
exists
(?KILL ?BACTERIUM)
(
capability
(
KappaFn
?KILL
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?BACTERIUM)
(
instance
?BACTERIUM
Bacterium
)))
agent
?ANTIBIOTIC)))
WMD.kif 1264-1272
オブジェクト
は
Antibiotic
の
instance
では %n
記号文字列
エンティティー
オブジェクト
は
記号文字列
で記述される
class
を
agent
として行う
capable
では %n
(=>
(
instance
?ARTIFACT
GameArtifact
)
(
exists
(?GAME)
(
and
(
subclass
?GAME
Game
)
(
capability
?GAME
instrument
?ARTIFACT))))
Mid-level-ontology.kif 16981-16986
オブジェクト
は
GameArtifact
の
instance
では %n
工程
工程
は
ゲーム
の
subclass
では %n
オブジェクト
は
工程
を
instrument
として行う
capable
では %n
(=>
(
instance
?BOARD
BoardOrBlock
)
(
capability
Constructing
resource
?BOARD))
Mid-level-ontology.kif 4746-4748
オブジェクト
は
BoardOrBlock
の
instance
では %n
オブジェクト
は
構築
を
resource
として行う
capable
では %n
(=>
(
instance
?CAMERA
Camera
)
(
capability
Photographing
instrument
?CAMERA))
Mid-level-ontology.kif 13316-13318
オブジェクト
は
Camera
の
instance
では %n
オブジェクト
は
Photographing
を
instrument
として行う
capable
では %n
(=>
(
instance
?CAR
PassengerRailcar
)
(
exists
(?CARRY)
(
capability
(
KappaFn
?CARRY
(
and
(
instance
?CARRY
Transportation
)
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
patient
?CARRY ?HUMAN)))))
instrument
?CAR)))
Transportation.kif 2127-2137
オブジェクト
は
PassengerRailcar
の
instance
では %n
オブジェクト
RY
オブジェクト
は
オブジェクト
RYで記述される
class
を
instrument
として行う
capable
では %n
(=>
(
instance
?CLOUD
Cloud
)
(
capability
Seeing
patient
?CLOUD))
Merge.kif 14754-14756
オブジェクト
は
Cloud
の
instance
では %n
オブジェクト
は
見ること
を
patient
として行う
capable
では %n
(=>
(
instance
?CRAFT
Aircraft
)
(
capability
AirTransportation
instrument
?CRAFT))
Mid-level-ontology.kif 17822-17824
オブジェクト
は
Aircraft
の
instance
では %n
オブジェクト
は
AirTransportation
を
instrument
として行う
capable
では %n
(=>
(
instance
?CRAFT
Spacecraft
)
(
capability
SpaceTransportation
instrument
?CRAFT))
Mid-level-ontology.kif 17715-17717
オブジェクト
は
Spacecraft
の
instance
では %n
オブジェクト
は
SpaceTransportation
を
instrument
として行う
capable
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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