located
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
如果
muscleOrigin
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
StandardAnatomicalPosition
是
那个 客体
的
attribute
在
时距
holdsDuring
和
Healthy
是
那个 客体
的
attribute
和
另一个 时距
是
MuscularContraction
的
instance
和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
另一个 客体
是
有点 肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是导致
那个 另外 时距
的
instrument
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 第三 客体
接上
第四 客体
和
那个 第三 客体
是
located
在
实体
在
那个 另外 时距
的开始
holdsDuring
,
然后
那个 第三 客体
是
located
在
那个 实体
在
那个 另外 时距
的结束
holdsDuring
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
如果
有点 HotelUnit
的 承租人 能
pay
去使用
有点 物理
和
有点 物理
是
客体
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
客体
是
那个 有点 物理
的
instance
和
那个 客体
是
located
在
那个 暂住
和
过程
是
过程
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 过程
是
located
在
那个 暂住
或
那个 客体
是
那个 过程
的
patient
或
那个 客体
是导致
那个 过程
的
instrument
或
那个 客体
是
那个 过程
的
resource
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 客体
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
0
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
如果
有点 HotelUnit
的 承租人 能
pay
去使用
有点 物理
和
有点 物理
是
过程
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
那个 人类
是
过程
的
patient
和
那个 过程
是
那个 有点 物理
的
instance
或
另一个 过程
是
那个 有点 物理
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
是
located
在
那个 暂住
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 过程
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
0
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N2
YearDuration
))
(
greaterThan
?N2 ?N))))
Law.kif 573-588
如果
协议
是
有认知的主事
的
party
协议 和
过程
是
有意图过程
的
instance
和
那个 过程
是
located
在
地缘政治区域
和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
ageOfMajorityForProcess
实数
年持续时间
,
那个 地缘政治区域
and
那个 过程
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
那个 协议
的
record
和
合法
是
那个 协议
的
attribute
,
然后
那个 有认知的主事
的
age
是
那个 实数
2
年持续时间
和
那个 实数
2 是
greaterThan
那个 实数
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
如果
协议
是
有认知的主事
的
party
协议 和
过程
是
有意图过程
的
instance
和
那个 过程
是
located
在
地缘政治区域
和
那个 地缘政治区域
是
国家
的
instance
和
那个 过程
是
located
在
那个 地缘政治区域
2 和
那个 地缘政治区域
2 是
地缘政治区域
的
instance
和
ageOfMajorityForProcess
实数
年持续时间
,
那个 地缘政治区域
and
那个 过程
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
那个 协议
的
record
和
那个 有认知的主事
的
age
是
实体
年持续时间
和
那个 实体
是
greaterThan
那个 实数
在
那个 过程
出现 的
time
holdsDuring
,
然后
合法
是
那个 协议
的
attribute
(=>
(
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
(
wears
?P ?C)
(
located
?C ?W)
(
instance
?C
Clock
)
(
instance
?W
Wrist
)
(
part
?W ?P))
(
instance
?C
WatchClock
))
Mid-level-ontology.kif 2897-2904
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
located
在
客体
和
那个 可穿戴物品
是
时钟
的
instance
和
那个 客体
是
腕
的
instance
和
那个 客体
是
那个 动物
的
part
,
然后
那个 可穿戴物品
是
钟表
的
instance
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingCold
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T2 ?T)))))
emotion.kif 1865-1877
如果
有认知的主事
是
located
在
实体
和
时间位置
那个 时间位置
U 是
那个 实体
的
air
温度 和
FeelingCold
是
那个 有认知的主事
的
attribute
在
那个 时间位置
holdsDuring
,
然后
那个 有认知的主事
desires
那个 时间位置
2
那个 时间位置
U 是
那个 实体
的
air
温度 和
那个 时间位置
2 是
greaterThan
那个 时间位置
在
那个 时间位置
holdsDuring
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingHot
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T ?T2)))))
emotion.kif 1902-1914
如果
有认知的主事
是
located
在
实体
和
时间位置
那个 时间位置
U 是
那个 实体
的
air
温度 和
FeelingHot
是
那个 有认知的主事
的
attribute
在
那个 时间位置
holdsDuring
,
然后
那个 有认知的主事
desires
那个 时间位置
2
那个 时间位置
U 是
那个 实体
的
air
温度 和
那个 时间位置
是
greaterThan
那个 时间位置
2 在
那个 时间位置
holdsDuring
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
如果
maxDeviceOperatingTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备上
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
greaterThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
如果
maxDeviceStorageTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备关闭
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
greaterThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
如果
minDeviceOperatingTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备上
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
lessThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
如果
minDeviceStorageTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备关闭
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
lessThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
CivilianInternee
)
(
located
?P ?LOC)))
(
holdsDuring
?T1
(
attribute
?LOC
WarState
)))
MilitaryPersons.kif 311-317
如果
平民被拘禁者
是
实体
的
attribute
和
那个 实体
是
located
在
另一个 实体
在
时间位置
holdsDuring
,
然后
战争状态
是
那个 另外 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
如果
流离失所者
是
实体
的
attribute
和
那个 实体
住在
另一个 实体
和
那个 另外 实体
是
located
在
那个 实体
LACE 和
那个 实体
是
客体
的
citizen
在
时间位置
holdsDuring
,
然后
那个 实体
LACE 不 是
partlyLocated
在
那个 客体
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
如果
国内流离失所者
是
实体
的
attribute
和
那个 实体
住在
另一个 实体
和
那个 另外 实体
是
located
在
那个 实体
LACE 和
那个 实体
是
客体
的
citizen
在
时间位置
holdsDuring
,
然后
那个 实体
LACE 是
partlyLocated
在
那个 客体
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
PrisonerOfWar
)
(
located
?P ?LOC)))
(
holdsDuring
?T1
(
attribute
?LOC
WarState
)))
MilitaryPersons.kif 274-280
如果
战俘
是
实体
的
attribute
和
那个 实体
是
located
在
另一个 实体
在
时间位置
holdsDuring
,
然后
战争状态
是
那个 另外 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
homePhoneNumber
?NUMBER ?AGENT)
(
located
?DEVICE ?PLACE)
(
instance
?PLACE
PermanentResidence
)))
(
holdsDuring
?TIME
(
home
?AGENT ?PLACE)))
Mid-level-ontology.kif 25026-25033
如果
实体
有
number
另一个 实体
和
那个 另外 实体
是
第三 实体
的
home
phone
和
那个 实体
是
located
在
第四 实体
和
那个 第四 实体
是
永久居留权
的
instance
在
时间位置
holdsDuring
,
然后
那个 第三 实体
的
home
是
那个 第四 实体
在
那个 时间位置
holdsDuring
(=>
(
located
?OBJ1 ?OBJ2)
(
forall
(?SUB)
(=>
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4082-4087
如果
客体
是
located
在
另一个 客体
,
然后 对所有
第三 客体
如果
那个 第三 客体
是
那个 客体
的
part
,
然后
那个 第三 客体
是
located
在
那个 另外 客体
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