possesses
(=>
(
instance
?C
MedicalClinic
)
(
not
(
exists
(?B)
(
and
(
possesses
?C ?B)
(
instance
?B
TemporaryResidence
)))))
Mid-level-ontology.kif 7658-7664
AutonomousAgent
は
MedicalClinic
の
instance
では %n
オブジェクト
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
TemporaryResidence
の
instance
では %n
(=>
(
instance
?C
Partnership
)
(
exists
(?H1 ?H2)
(
and
(
instance
?H1
Human
)
(
instance
?H2
Human
)
(
not
(
equal
?H1 ?H2))
(
possesses
?H1 ?C)
(
possesses
?H2 ?C))))
Mid-level-ontology.kif 7216-7224
オブジェクト
は
Partnership
の
instance
では %n
AutonomousAgent
AutonomousAgent
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
と
equal
では
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?C
Proprietorship
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
possesses
?H ?C)
(
not
(
exists
(?H2)
(
and
(
not
(
equal
?H ?H2))
(
possesses
?H2 ?C)))))))
Mid-level-ontology.kif 7308-7318
オブジェクト
は
Proprietorship
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
AutonomousAgent
2
AutonomousAgent
は
AutonomousAgent
2 と
equal
では
AutonomousAgent
2 は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?CHARGE
FinalValueFee
)
(
exists
(?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?SELLING
Selling
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ITEM
Physical
)
(
instance
?ADVERT
WebListing
)
(
patient
?ADVERT ?ITEM)
(
patient
?SELLING ?ITEM)
(
causes
?SELLING ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
eCommerceSite
?SELLING ?OWNER))))
UXExperimentalTerms.kif 240-255
工程
は
FinalValueFee
の
instance
では %n
WebListing
金融取引
,
AutonomousAgent
,
エンティティー
and
WebSite
WebListing
は
WebListing
の
instance
では %n
金融取引
は
販売
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
エンティティー
は
物理
の
instance
では %n
WebListing
は
WebListing
の
instance
では %n
エンティティー
は
WebListing
の
patient
では %n
エンティティー
は
金融取引
の
patient
では %n
金融取引
は
工程
を
cause
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
hostedOn
WebListing
and
WebSite
AutonomousAgent
は
WebSite
を
possess
es %n{ない}
eCommerceSite
金融取引
and
AutonomousAgent
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?SITE ?OWNER ?ADVERT)
(
and
(
instance
?SITE
WebSite
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ADVERT
WebListing
)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
agent
?CHARGE ?OWNER))))
UXExperimentalTerms.kif 209-218
工程
は
InsertionFee
の
instance
では %n
WebSite
AutonomousAgent
and
WebListing
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebListing
は
WebListing
の
instance
では %n
hostedOn
WebListing
and
WebSite
AutonomousAgent
は
WebSite
を
possess
es %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
instance
?D
Dormitory
)
(
exists
(?S)
(
and
(
instance
?S
School
)
(
possesses
?S ?D))))
Mid-level-ontology.kif 6984-6989
オブジェクト
は
Dormitory
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
School
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?FD
FoodDistributionOperation
)
(
exists
(?FOOD ?CA)
(
and
(
instance
?FOOD
(
FoodForFn
Animal
))
(
instance
?CA
CognitiveAgent
)
(
patient
?FD ?FOOD)
(
destination
?FD ?CA)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?FD))
(
possesses
?CA ?FOOD)))))
Military.kif 62-71
工程
は
FoodDistributionOperation
の
instance
では %n
エンティティー
エンティティー
エンティティー
は
FoodForFn
動物
の
instance
では %n
エンティティー
は
認識エージェント
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
instance
?G
PublicGarden
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
possesses
?GOV ?G))))
Mid-level-ontology.kif 8199-8204
オブジェクト
は
PublicGarden
の
instance
では %n
オブジェクト
OV
オブジェクト
OV は
政府
の
instance
では %n
オブジェクト
OV は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?Investment
Investment
)
(
exists
(?Investing ?Agent)
(
and
(
agent
?Investing ?Agent)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1771-1776
オブジェクト
は
Investment
の
instance
では %n
工程
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?L
Library
)
(
exists
(?B ?T)
(
and
(
possesses
?L ?B)
(
instance
?B
LibraryBuilding
)
(
instance
?T
Text
)
(
located
?T ?B))))
Mid-level-ontology.kif 8467-8474
AutonomousAgent
は
Library
の
instance
では %n
オブジェクト
物理
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
LibraryBuilding
の
instance
では %n
物理
は
テキスト
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
(=>
(
instance
?LAR
LARUnit
)
(
exists
(?LAV)
(
and
(
instance
?LAV
LAV
)
(
possesses
?LAR ?LAV))))
MilitaryPersons.kif 532-537
AutonomousAgent
は
LARUnit
の
instance
では %n
オブジェクト
オブジェクト
は
LAV
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?LIST
ListOnSite
)
(
exists
(?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
(
and
(
instance
?SITE
WebSite
)
(
instance
?ADVERT
WebListing
)
(
instance
?EARLIER
TimeInterval
)
(
instance
?AFTER
TimeInterval
)
(
patient
?LIST ?ADVERT)
(
equal
(
EndFn
?EARLIER)
(
EndFn
?LIST))
(
earlier
?LIST ?AFTER)
(
meetsTemporally
?LIST ?AFTER)
(
holdsDuring
?EARLIER
(
not
(
hostedOn
?ADVERT ?SITE)))
(
holdsDuring
?AFTER
(
hostedOn
?ADVERT ?SITE))
(
agent
?LIST ?OWNER)
(
possesses
?OWNER ?SITE))))
UXExperimentalTerms.kif 266-286
時間間隔
は
ListOnSite
の
instance
では %n
オブジェクト
エンティティー
,
時間間隔
,
時間間隔
and
AutonomousAgent
オブジェクト
は
WebSite
の
instance
では %n
エンティティー
は
WebListing
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
時間間隔
の
end
は
時間間隔
の
end
と
equal
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
hostedOn
エンティティー
and
オブジェクト
は
時間間隔
の
during
holds %n{ない}
hostedOn
エンティティー
and
オブジェクト
は
時間間隔
の
during
holds %n{ない}
AutonomousAgent
は
時間間隔
の
agent
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?M
ArtMuseum
)
(
exists
(?B ?A)
(
and
(
possesses
?M ?B)
(
instance
?B
Building
)
(
instance
?A
ArtWork
)
(
located
?A ?B))))
Mid-level-ontology.kif 8499-8506
AutonomousAgent
は
ArtMuseum
の
instance
では %n
オブジェクト
物理
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
建物
の
instance
では %n
物理
は
芸術作品
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
(=>
(
instance
?MM
(
MerchantMarineFn
?AREA))
(
exists
(?REGISTER)
(
and
(
instance
?REGISTER
ShipRegister
)
(
possesses
?AREA ?REGISTER)
(
marineInventory
?MM ?REGISTER))))
Transportation.kif 1113-1119
MerchantMarine
は
MerchantMarineFn
地政学的地域
の
instance
では %n
ShipRegister
ShipRegister
は
ShipRegister
の
instance
では %n
地政学的地域
は
ShipRegister
を
possess
es %n{ない}
marineInventory
MerchantMarine
and
ShipRegister
(=>
(
instance
?MP
AntiArmorPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
AntiArmorWeapon
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 603-608
AutonomousAgent
は
AntiArmorPlatoon
の
instance
では %n
オブジェクト
オブジェクト
は
AntiArmorWeapon
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?MP
HeavyMGPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
HeavyMachineGun
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 619-624
AutonomousAgent
は
HeavyMGPlatoon
の
instance
では %n
オブジェクト
オブジェクト
は
HeavyMachineGun
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?MP
HeavyMGPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
MK19
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 628-633
AutonomousAgent
は
HeavyMGPlatoon
の
instance
では %n
オブジェクト
オブジェクト
は
MK19
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?MP
MortarPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
MortarGun
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 556-561
AutonomousAgent
は
MortarPlatoon
の
instance
では %n
オブジェクト
オブジェクト
は
MortarGun
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?MV
MilitaryVehicle
)
(
and
(
instance
?A
MilitaryForce
)
(
possesses
?A ?MV)
(
capability
MilitaryProcess
patient
?MV)))
Military.kif 197-202
オブジェクト
は
MilitaryVehicle
の
instance
では %n
AutonomousAgent
は
MilitaryForce
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
軍事プロセス
を
patient
として行う
capable
では %n
(=>
(
instance
?N
BroadcastNetwork
)
(
exists
(?O)
(
and
(
instance
?O
Organization
)
(
forall
(?M)
(=>
(
member
?M ?N)
(
possesses
?O ?M))))))
Communications.kif 369-377
コレクション
は
BroadcastNetwork
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
組織
の
instance
では %n
オブジェクト
オブジェクト
は
コレクション
の
member
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?P
PublicPark
)
(
exists
(?G)
(
and
(
instance
?G
Government
)
(
possesses
?G ?P))))
Mid-level-ontology.kif 8128-8133
オブジェクト
は
PublicPark
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
政府
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?R
Restaurant
)
(
exists
(?D)
(
and
(
possesses
?R ?D)
(
instance
?D
DiningArea
))))
Mid-level-ontology.kif 7297-7302
AutonomousAgent
は
Restaurant
の
instance
では %n
オブジェクト
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
DiningArea
の
instance
では %n
(=>
(
instance
?STORE
WebStore
)
(
exists
(?OWNER)
(
and
(
instance
?OWNER
Human
)
(
possesses
?OWNER ?STORE))))
UXExperimentalTerms.kif 2148-2153
オブジェクト
は
WebStore
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
instance
?SVC
SafetyDepositService
)
(
exists
(?SAFE ?KEEP ?OBJ ?AGENT)
(
and
(
serviceProvider
?SVC ?AGENT)
(
instance
?SAFE
SafeContainer
)
(
instance
?KEEP
Keeping
)
(
located
?KEEP ?SAFE)
(
possesses
?AGENT ?SAFE)
(
patient
?KEEP ?OBJ)
(
subProcess
?KEEP ?SVC)
(
not
(
possesses
?AGENT ?OBJ)))))
Hotel.kif 2262-2273
ServiceProcess
は
SafetyDepositService
の
instance
では %n
オブジェクト
工程
,
オブジェクト
and
認識エージェント
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
オブジェクト
は
SafeContainer
の
instance
では %n
工程
は
保持
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
認識エージェント
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
工程
の
patient
では %n
工程
は
ServiceProcess
% の
subprocess
では %n
認識エージェント
は
オブジェクト
を
possess
ない
(=>
(
instance
?SVC
ShuttleService
)
(
exists
(?LIST ?VEHICLE ?AGENT)
(
and
(
agent
?SVC ?AGENT)
(
possesses
?AGENT ?VEHICLE)
(
instance
?VEHICLE
Automobile
)
(
instance
?LIST
List
)
(
forall
(?X)
(=>
(
inList
?X ?LIST)
(
and
(
instance
?X
PostalPlace
)
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
agent
?TRANSPORT ?AGENT)
(
instrument
?TRANSPORT ?VEHICLE)
(
destination
?TRANSPORT ?X)))))))))
Hotel.kif 2035-2053
工程
は
ShuttleService
の
instance
では %n
リスト
オブジェクト
and
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
Automobile
の
instance
では %n
リスト
は
リスト
の
instance
では %n
エンティティー
エンティティー
は
リスト
の
member
では %n
エンティティー
は
PostalPlace
の
instance
では %n
工程
工程
は
交通手段
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
エンティティー
に
end
s %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