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 16561-16575
如果
客体
是
护照
的
instance
和
施事体
possesses
那个 客体
,
然后
那个 客体
confers
规范 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
易位
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的源头 和
那个 实体
在
那个 第三 实体
结束 和
那个 另外 实体
是
国家
的
instance
和
那个 第三 实体
是
国家
的
instance
和
那个 另外 实体
不
equal
那个 第三 实体
对于
允许
(=>
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
instance
?SHIP
Ship
)
(
possesses
?SHIP ?REGISTRATION)
(
instance
?AREA
GeopoliticalArea
)
(
flagState
?SHIP ?AREA))
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))
Transportation.kif 1097-1104
如果
客体
是
船舶登记
的
instance
和
施事体
是
船
的
instance
和
那个 施事体
possesses
那个 客体
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
是
那个 施事体
的
flag
状态,
然后
那个 地缘政治区域
的
ship
注册 包含
那个 客体
的内容
(=>
(
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
如果
施事体
是
餐厅
的
instance
和
客体
是
饭厅
的
instance
和
PrivateAttribute
是
那个 客体
的
attribute
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
有认知的主事
的
customer
和
过程
是
进食
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 有认知的主事
是
一群人
的
instance
,
然后 不存在
实体
和
另一个 实体
这样
那个 施事体
是
那个 实体
的
customer
和
那个 有认知的主事
不
equal
那个 实体
和
那个 另外 实体
是
进食
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 另外 实体
是
located
在
那个 客体
在
那个 过程
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
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
如果
施事体
是
票
的
instance
和
那个 施事体
possesses
客体
和
有认知的主事
是由
那个 施事体
的
issued
和
娱乐赌博和娱乐业
是
那个 有认知的主事
的
attribute
和
那个 有认知的主事
是
located
在
另一个 客体
,
然后
那个 有认知的主事
confers
规范 有存在
实体
这样
那个 实体
是
娱乐或锻炼
的
instance
和
那个 客体
经历了
那个 实体
和
那个 实体
是
located
在
那个 另外 客体
对于
允许
(=>
(
and
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
?TIME
(
possesses
?AGENT2 ?OBJ)))
(
equal
?AGENT1 ?AGENT2))
Merge.kif 4265-4270
如果
时间位置
是
时间位置
的
instance
和
实体
possesses
另一个 实体
在
那个 时间位置
holdsDuring
和
第三 实体
possesses
那个 另外 实体
在
那个 时间位置
holdsDuring
,
然后
那个 实体
equal
那个 第三 实体
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
如果
永久居留权
是
单身家庭住所
的
instance
和
人类
的
home
是
那个 永久居留权
和
那个 人类
possesses
那个 永久居留权
和
那个 永久居留权
不 是
建筑物
的
instance
,
然后
那个 永久居留权
是
共管公寓单位
的
instance
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
如果
客体
是
生化武器
的
instance
和
施事体
possesses
那个 客体
,
然后
那个 施事体
能够担当
主事
的角色做
生化攻击
(=>
(
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 16542-16554
如果
有认知的主事
是由
证书
的
issued
和
那个 证书
是
票
的
instance
和
施事体
possesses
那个 证书
,
然后
那个 有认知的主事
confers
规范 有存在
实体
这样 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 施事体
经历了
那个 另外 实体
在
那个 实体
holdsDuring
对于
允许
(=>
(
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
去使用
有点 物理
和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束 和
客体
是
有点 物理
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
过程
的
instance
和
那个 有认知的主事
是
那个 客体
的
agent
或
那个 有认知的主事
经历了
那个 客体
或
那个 施事体
possesses
那个 客体
和
那个 客体
是
客体
的
instance
和
那个 有认知的主事
uses
那个 客体
,
然后 有存在
实数
和
测量单位
这样
那个 客体
是 对于
那个 施事体
的
price
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 实数
是
greaterThan
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
如果
施事体
的 承租人 能
pay
去使用
有点 物理
和
过程
是
有点 物理
的
instance
和
那个 施事体
是
有认知的主事
的
customer
和
那个 过程
是
过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
或
那个 有认知的主事
经历了
那个 过程
或
那个 施事体
possesses
那个 过程
和
那个 过程
是
客体
的
instance
和
那个 有认知的主事
uses
那个 过程
,
然后 有存在
实数
和
测量单位
这样
那个 过程
是 对于
那个 施事体
的
price
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 实数
是
greaterThan
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
如果
施事体
possesses
客体
和
那个 客体
的
measure
是
实数
ShareUnit
和
股票分割
是 对于
整数
和
另一个 整数
的
split
,
然后
实体
equal
那个 实数
和
那个 另外 整数
和
另一个 实体
equal
那个 实体
和
那个 整数
和
那个 客体
的
measure
是
那个 另外 实体
ShareUnit
在 紧接
那个 股票分割
出现 的
time
after
holdsDuring
(=>
(
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
如果
有认知的主事
possesses
客体
和
那个 有认知的主事
是
商业代理人
的
instance
和
那个 客体
是
停车场
的
instance
和
另一个 客体
是
建筑物
的
instance
和
那个 有认知的主事
是
located
在
那个 另外 客体
和
施事体
是
那个 有认知的主事
的
customer
和
那个 施事体
是
located
在
那个 另外 客体
在
时间位置
holdsDuring
和
过程
是
驾驶
的
instance
和
实体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 另外 客体
结束,
然后
那个 有认知的主事
允许
那个 施事体
执行
另一个 实体
是
保存
的
instance
和
那个 另外 实体
在
那个 客体
结束 和
那个 实体
是
那个 另外 实体
的
patient
的任务 在
那个 时间位置
holdsDuring
(=>
(
and
(
riskTolerance
?Agent ?Level)
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))
(
riskLevel
?Investment ?Level))
FinancialOntology.kif 3490-3495
如果
风险属性
是
施事体
的
risk
容忍度 和
客体
是
投资
的
instance
和
那个 施事体
possesses
那个 客体
,
然后
那个 客体
的
risk
level
是
那个 风险属性
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4285-4288
如果
施事体
possesses
客体
,
然后
那个 客体
是
那个 施事体
的财产 的
element
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4253-4255
如果
施事体
possesses
客体
,
然后
那个 施事体
uses
那个 客体
的声明 has
允许
的语气
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