possesses
(=>
(
instance
?C
MedicalClinic
)
(
not
(
exists
(?B)
(
and
(
possesses
?C ?B)
(
instance
?B
TemporaryResidence
)))))
Mid-level-ontology.kif 7658-7664
例
AutonomousAgent
and
醫療診所
Object
擁有
AutonomousAgent
and
Object
例
Object
and
暫住
(=>
(
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
例
Object
and
合夥
AutonomousAgent
AutonomousAgent
例
AutonomousAgent
and
Human
例
AutonomousAgent
and
Human
等於
AutonomousAgent
and
AutonomousAgent
擁有
AutonomousAgent
and
Object
擁有
AutonomousAgent
and
Object
(=>
(
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
例
Object
and
所有權
AutonomousAgent
例
AutonomousAgent
and
Human
擁有
AutonomousAgent
and
Object
AutonomousAgent
等於
AutonomousAgent
and
AutonomousAgent
擁有
AutonomousAgent
and
Object
(=>
(
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
例
Process
and
FinalValueFee
WebListing
FinancialTransaction
,
AutonomousAgent
,
Entity
and
WebSite
例
WebListing
and
WebListing
例
FinancialTransaction
and
Selling
例
AutonomousAgent
and
AutonomousAgent
例
Entity
and
Physical
例
WebListing
and
WebListing
患者
WebListing
and
Entity
患者
FinancialTransaction
and
Entity
原因
FinancialTransaction
and
Process
agent
Process
and
AutonomousAgent
WebListing
是在
WebSite
hosted
擁有
AutonomousAgent
and
WebSite
AutonomousAgent
facilitates
FinancialTransaction
(=>
(
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
例
Process
and
InsertionFee
WebSite
AutonomousAgent
and
WebListing
例
WebSite
and
WebSite
例
AutonomousAgent
and
AutonomousAgent
例
WebListing
and
WebListing
WebListing
是在
WebSite
hosted
擁有
AutonomousAgent
and
WebSite
agent
Process
and
AutonomousAgent
(=>
(
instance
?D
Dormitory
)
(
exists
(?S)
(
and
(
instance
?S
School
)
(
possesses
?S ?D))))
Mid-level-ontology.kif 6984-6989
例
Object
and
宿舍
AutonomousAgent
例
AutonomousAgent
and
學校
擁有
AutonomousAgent
and
Object
(=>
(
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
例
Process
and
食品配送業務
Entity
Entity
例
Entity
and
food
for
Animal
例
Entity
and
CognitiveAgent
患者
Process
and
Entity
目的地
Process
and
Entity
持有期間
眼前的未來
何時
Process
and
擁有
Entity
and
Entity
(=>
(
instance
?G
PublicGarden
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
possesses
?GOV ?G))))
Mid-level-ontology.kif 8199-8204
例
Object
and
公共庭園
Object
OV
例
Object
OV and
Government
擁有
Object
OV and
Object
(=>
(
instance
?Investment
Investment
)
(
exists
(?Investing ?Agent)
(
and
(
agent
?Investing ?Agent)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1771-1776
例
Object
and
投資
Process
AutonomousAgent
agent
Process
and
AutonomousAgent
擁有
AutonomousAgent
and
Object
(=>
(
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
and
圖書館
Object
Physical
擁有
AutonomousAgent
and
Object
例
Object
and
LibraryBuilding
例
Physical
and
Text
位於
Physical
and
Object
(=>
(
instance
?LAR
LARUnit
)
(
exists
(?LAV)
(
and
(
instance
?LAV
LAV
)
(
possesses
?LAR ?LAV))))
MilitaryPersons.kif 532-537
例
AutonomousAgent
and
LAR單位
Object
例
Object
and
LAV
擁有
AutonomousAgent
and
Object
(=>
(
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
例
TimeInterval
and
ListOnSite
Object
Entity
,
TimeInterval
,
TimeInterval
and
AutonomousAgent
例
Object
and
WebSite
例
Entity
and
WebListing
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
患者
TimeInterval
and
Entity
等於
結束
TimeInterval
and
結束
TimeInterval
早期
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
Entity
是在
Object
hosted
持有期間
TimeInterval
and
Entity
是在
Object
hosted
agent
TimeInterval
and
AutonomousAgent
擁有
AutonomousAgent
and
Object
(=>
(
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
and
美術博物館
Object
Physical
擁有
AutonomousAgent
and
Object
例
Object
and
Building
例
Physical
and
ArtWork
位於
Physical
and
Object
(=>
(
instance
?MM
(
MerchantMarineFn
?AREA))
(
exists
(?REGISTER)
(
and
(
instance
?REGISTER
ShipRegister
)
(
possesses
?AREA ?REGISTER)
(
marineInventory
?MM ?REGISTER))))
Transportation.kif 1113-1119
例
商船
and
GeopoliticalArea
的
merchant
海洋
船舶登記
例
船舶登記
and
船舶登記
擁有
GeopoliticalArea
and
船舶登記
船舶登記
是
商船
的
marine
庫存
(=>
(
instance
?MP
AntiArmorPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
AntiArmorWeapon
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 603-608
例
AutonomousAgent
and
反裝甲排
Object
例
Object
and
反裝甲武器
擁有
AutonomousAgent
and
Object
(=>
(
instance
?MP
HeavyMGPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
HeavyMachineGun
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 619-624
例
AutonomousAgent
and
重MG排
Object
例
Object
and
重機槍
擁有
AutonomousAgent
and
Object
(=>
(
instance
?MP
HeavyMGPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
MK19
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 628-633
例
AutonomousAgent
and
重MG排
Object
例
Object
and
Mk19
擁有
AutonomousAgent
and
Object
(=>
(
instance
?MP
MortarPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
MortarGun
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 556-561
例
AutonomousAgent
and
迫擊砲排
Object
例
Object
and
迫擊砲
擁有
AutonomousAgent
and
Object
(=>
(
instance
?MV
MilitaryVehicle
)
(
and
(
instance
?A
MilitaryForce
)
(
possesses
?A ?MV)
(
capability
MilitaryProcess
patient
?MV)))
Military.kif 197-202
例
Object
and
軍車
例
AutonomousAgent
and
軍事力量
擁有
AutonomousAgent
and
Object
能力
MilitaryProcess
,
患者
and
Object
(=>
(
instance
?N
BroadcastNetwork
)
(
exists
(?O)
(
and
(
instance
?O
Organization
)
(
forall
(?M)
(=>
(
member
?M ?N)
(
possesses
?O ?M))))))
Communications.kif 369-377
例
Collection
and
廣播網絡
AutonomousAgent
例
AutonomousAgent
and
Organization
Object
會員
Object
and
Collection
擁有
AutonomousAgent
and
Object
(=>
(
instance
?P
PublicPark
)
(
exists
(?G)
(
and
(
instance
?G
Government
)
(
possesses
?G ?P))))
Mid-level-ontology.kif 8128-8133
例
Object
and
公園
AutonomousAgent
例
AutonomousAgent
and
Government
擁有
AutonomousAgent
and
Object
(=>
(
instance
?R
Restaurant
)
(
exists
(?D)
(
and
(
possesses
?R ?D)
(
instance
?D
DiningArea
))))
Mid-level-ontology.kif 7297-7302
例
AutonomousAgent
and
餐廳
Object
擁有
AutonomousAgent
and
Object
例
Object
and
DiningArea
(=>
(
instance
?STORE
WebStore
)
(
exists
(?OWNER)
(
and
(
instance
?OWNER
Human
)
(
possesses
?OWNER ?STORE))))
UXExperimentalTerms.kif 2148-2153
例
Object
and
WebStore
AutonomousAgent
例
AutonomousAgent
and
Human
擁有
AutonomousAgent
and
Object
(=>
(
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
例
服務
and
SafetyDepositService
Object
Process
,
Object
and
CognitiveAgent
服務提供者
服務
and
CognitiveAgent
例
Object
and
安全的容器
例
Process
and
Keeping
位於
Process
and
Object
擁有
CognitiveAgent
and
Object
患者
Process
and
Object
子過程
Process
and
服務
擁有
CognitiveAgent
and
Object
(=>
(
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
例
Process
and
ShuttleService
List
Object
and
AutonomousAgent
agent
Process
and
AutonomousAgent
擁有
AutonomousAgent
and
Object
例
Object
and
汽車
例
List
and
List
Entity
在列表中
Entity
and
List
例
Entity
and
PostalPlace
Process
例
Process
and
Transportation
agent
Process
and
AutonomousAgent
儀器
Process
and
Object
目的地
Process
and
Entity
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