possesses
(=>
(
and
(
instance
?P
Passport
)
(
possesses
?A ?P))
(
confersNorm
?P
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?A)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))))
Permission
))
Mid-level-ontology.kif 16560-16574
例
Object
and
護照
擁有
AutonomousAgent
and
Object
Object
confers
規範
entity
entity
and
entity
例
entity
and
易位
agent
entity
and
AutonomousAgent
起源
entity
and
entity
目的地
entity
and
entity
例
entity
and
Nation
例
entity
and
Nation
等於
entity
and
entity
對於
允許
(=>
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
instance
?SHIP
Ship
)
(
possesses
?SHIP ?REGISTRATION)
(
instance
?AREA
GeopoliticalArea
)
(
flagState
?SHIP ?AREA))
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))
Transportation.kif 1097-1104
例
Object
and
船舶登記
例
AutonomousAgent
and
船
擁有
AutonomousAgent
and
Object
例
GeopoliticalArea
and
GeopoliticalArea
GeopoliticalArea
是
AutonomousAgent
的
flag
狀態
包含內容實例
GeopoliticalArea
的
ship
註冊 and
Object
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
例
AutonomousAgent
and
餐廳
例
Object
and
飯廳
attribute
Object
and
PrivateAttribute
擁有
AutonomousAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Process
and
Eating
agent
Process
and
CognitiveAgent
例
CognitiveAgent
and
一群人
模態屬性
entity
entity
AutonomousAgent
是
entity
的
customer
等於
CognitiveAgent
and
entity
例
entity
and
Eating
agent
entity
and
entity
持有期間
何時
Process
and
entity
是
located
在
Object
and
容易
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
例
AutonomousAgent
and
票
擁有
AutonomousAgent
and
Object
CognitiveAgent
是由
AutonomousAgent
的
issued
attribute
CognitiveAgent
and
娛樂賭博和娛樂業
位於
CognitiveAgent
and
Object
CognitiveAgent
confers
規範
entity
例
entity
and
RecreationOrExercise
體驗者
entity
and
Object
entity
是
located
在
Object
對於
允許
(=>
(
and
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
?TIME
(
possesses
?AGENT2 ?OBJ)))
(
equal
?AGENT1 ?AGENT2))
Merge.kif 4265-4270
例
TimePosition
and
TimePosition
持有期間
TimePosition
and
擁有
entity
and
entity
持有期間
TimePosition
and
擁有
entity
and
entity
等於
entity
and
entity
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6920-6926
例
永久居留權
and
單身家庭住所
家
Human
and
永久居留權
擁有
Human
and
永久居留權
例
永久居留權
and
Building
例
永久居留權
and
共管公寓單位
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
例
Object
and
生化武器
擁有
AutonomousAgent
and
Object
能力
生化攻擊
,
agent
and
AutonomousAgent
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16541-16553
CognitiveAgent
是由
Certificate
的
issued
例
Certificate
and
票
擁有
AutonomousAgent
and
Certificate
CognitiveAgent
confers
規範
entity
持有期間
entity
and
entity
例
entity
and
Process
agent
entity
and
CognitiveAgent
體驗者
entity
and
AutonomousAgent
對於
允許
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
HotelFunctionRoom
的 承租人 能
pay
去使用
Physical
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
目的地
Process
and
CognitiveAgent
例
Object
and
Physical
擁有
AutonomousAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Object
and
Process
agent
Object
and
CognitiveAgent
體驗者
Object
and
CognitiveAgent
擁有
AutonomousAgent
and
Object
例
Object
and
Object
使用
Object
and
CognitiveAgent
RealNumber
UnitOfMeasure
Object
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
RealNumber
and 0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
AutonomousAgent
的 承租人 能
pay
去使用
Physical
例
Process
and
Physical
AutonomousAgent
是
CognitiveAgent
的
customer
例
Process
and
Process
agent
Process
and
CognitiveAgent
體驗者
Process
and
CognitiveAgent
擁有
AutonomousAgent
and
Process
例
Process
and
Object
使用
Process
and
CognitiveAgent
RealNumber
UnitOfMeasure
Process
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
RealNumber
and 0
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
擁有
AutonomousAgent
and
Object
測量
Object
and
測量
RealNumber
and
ShareUnit
股票分割
是 對於
Integer
和
Integer
的
split
持有期間
眼前的未來
何時
股票分割
and
等於
entity
and
乘法
RealNumber
and
Integer
等於
entity
and
部
entity
and
Integer
測量
Object
and
測量
entity
and
ShareUnit
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
擁有
CognitiveAgent
and
Object
例
CognitiveAgent
and
商業代理人
例
Object
and
停車場
例
Object
and
Building
位於
CognitiveAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
持有期間
TimePosition
and
位於
AutonomousAgent
and
Object
例
Process
and
Driving
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
目的地
Process
and
Object
持有期間
TimePosition
and
賦予權利
例
entity
and
Keeping
目的地
entity
and
Object
患者
entity
and
Entity
,
CognitiveAgent
and
AutonomousAgent
(=>
(
and
(
riskTolerance
?Agent ?Level)
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))
(
riskLevel
?Investment ?Level))
FinancialOntology.kif 3490-3495
風險屬性
是
AutonomousAgent
的
risk
容忍度
例
Object
and
投資
擁有
AutonomousAgent
and
Object
Object
的
risk
level
是
風險屬性
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4285-4288
擁有
AutonomousAgent
and
Object
元件
Object
and
屬性
AutonomousAgent
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4253-4255
擁有
AutonomousAgent
and
Object
模態屬性
使用
Object
and
AutonomousAgent
and
允許
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