located
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
如果
音调
是
音调
的
instance
和
那个 音调
的
frequency
是
实数
赫兹
和
loudness
那个 音调
and
另一个 实数
Decibel
和
那个 音调
是
located
在
人类
在
那个 音调
出现 的
time
的开始 时所处的地区 和
第三 实数
是
greaterThan
那个 另外 实数
和
那个 另外 实数
是
greaterThan
第四 实数
和
那个 实数
是
greaterThan
250 和 8000 是
greaterThan
那个 实数
和
那个 人类
是
人类
的
instance
和
过程
是
听
的
instance
和
那个 人类
是
那个 过程
的
agent
,
然后
hearingAcuity
那个 人类
,
那个 第三 实数
Decibel
and
那个 第四 实数
Decibel
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
如果
时距
是
拉
的
instance
和
客体
是
那个 时距
的源头 和
施事体
是
那个 时距
的
agent
和
那个 施事体
是
located
在
那个 施事体
LOC 在
那个 时距
的开始
holdsDuring
和
那个 时距
在
另一个 实体
结束,
然后 有存在
第三 实体
,
第四 实体
, and 和
第五 实体
这样
那个 施事体
LOC 和
那个 另外 实体
的
distance
是
那个 第五 实体
那个 第四 实体
和
那个 施事体
LOC 和
那个 客体
的
distance
是
那个 第三 实体
那个 第四 实体
和
那个 第三 实体
是
greaterThan
那个 第五 实体
在 紧接
那个 时距
的开始
after
holdsDuring
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
如果
时距
是
Pushing
的
instance
和
客体
是
那个 时距
的源头 和
施事体
是
那个 时距
的
agent
和
那个 施事体
是
located
在
那个 施事体
LOC 在
那个 时距
的开始
holdsDuring
和
那个 时距
在
另一个 实体
结束,
然后 有存在
第三 实体
,
第四 实体
, and 和
第五 实体
这样
那个 施事体
LOC 和
那个 另外 实体
的
distance
是
那个 第五 实体
那个 第四 实体
和
那个 施事体
LOC 和
那个 客体
的
distance
是
那个 第三 实体
那个 第四 实体
和
那个 第三 实体
是
greaterThan
那个 第五 实体
在 紧接
那个 时距
的开始
after
holdsDuring
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3595-3615
如果
客体
是
地理区域
的
instance
和
那个 客体
是
located
在
另一个 客体
和
那个 另外 客体
是
热带
的
instance
,
然后 有存在
实数
,
经度
,, ,
方向属性
,, ,
另一个 实数
, and 和
测量单位
这样
那个 客体
是 对于
那个 经度
的
object
地理座标
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfAngularMeasure
的
instance
和
那个 实数
是
lessThan
那个 另外 实数
和
那个 另外 实数
那个 测量单位
equal
23.0
圆周角度
的
region
那个 方向属性
和
那个 方向属性
是
方向属性
的
instance
和
那个 方向属性
equal
北
或
那个 方向属性
equal
南
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
购买
的
instance
和 有存在
客体
这样
那个 客体
是
地缘政治区域
的
instance
和 对所有
施事体
和
过程
如果
那个 施事体
是
施事体
的
instance
和
那个 过程
是
购买
的
instance
和
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
,
然后
那个 施事体
是
located
在
那个 客体
,
然后 有存在
符号串
,
实体
, and 和
另一个 实体
_PURCHASE_AMOUNT 这样
total
价值在
那个 符号串
所描述的类别 是
那个 另外 实体
_PURCHASE_AMOUNT 和
那个 群体
的
value
equal
那个 另外 实体
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?RC
RibCage
)
(
part
?RC ?H)
(
instance
?H
Human
)
(
attribute
?H
Living
)
(
not
(
and
(
instance
?P
PathologicProcess
)
(
located
?P ?H))))
(
exists
(?HT ?LG)
(
and
(
instance
?HT
Heart
)
(
instance
?HT
Lung
)
(
contains
?RC ?LG)
(
contains
?RC ?HT))))
Mid-level-ontology.kif 11247-11262
如果
自身连接物体
是
RibCage
的
instance
和
那个 自身连接物体
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
活的
是
那个 客体
的
attribute
和 ~{
物理
是
病理过程
的
instance
} 或 ~{
那个 物理
是
located
在
那个 客体
},
然后 有存在
那个 客体
T 和
第三 客体
这样
那个 客体
T 是
心
的
instance
和
那个 客体
T 是
肺
的
instance
和
那个 自身连接物体
contains
那个 第三 客体
和
那个 自身连接物体
contains
那个 客体
T
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
如果
物理
是
地理区域
的
instance
和
那个 物理
是
located
在
南极地区
,
然后 有存在
时间位置
这样
那个 时间位置
是
日
的
instance
和
发光的
不 是
那个 物理
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
如果
物理
是
地理区域
的
instance
和
那个 物理
是
located
在
北极地区
,
然后 有存在
时间位置
这样
那个 时间位置
是
日
的
instance
和
发光的
不 是
那个 物理
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?S
Stroke
)
(
instance
?B
Brain
)
(
located
?S ?B))
(
exists
(?N ?D)
(
and
(
instance
?N
NerveCell
)
(
located
?N ?B)
(
instance
?D
Destruction
)
(
subProcess
?D ?S)
(
patient
?D ?N))))
Mid-level-ontology.kif 11934-11945
如果
过程
是
Stroke
的
instance
和
客体
是
脑
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
物理
和
另一个 过程
这样
那个 物理
是
神经细胞
的
instance
和
那个 物理
是
located
在
那个 客体
和
那个 另外 过程
是
摧毁
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 物理
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
出售
的
instance
和 有存在
客体
这样
那个 客体
是
地缘政治区域
的
instance
和 对所有
施事体
和
过程
如果
那个 施事体
是
施事体
的
instance
和
那个 过程
是
购买
的
instance
和
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
,
然后
那个 施事体
是
located
在
那个 客体
,
然后 有存在
符号串
,
实体
, and 和
另一个 实体
_SALE_AMOUNT 这样
total
价值在
那个 符号串
所描述的类别 是
那个 另外 实体
_SALE_AMOUNT 和
那个 群体
的
value
equal
那个 另外 实体
_SALE_AMOUNT
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
如果
客体
是
礼堂座位
的
instance
和
那个 客体
是
另一个 客体
的
part
和
第三 客体
是
那个 另外 客体
的
part
和
那个 另外 客体
是
礼堂
的
instance
和
那个 第三 客体
是
表演阶段
的
instance
和
第四 客体
是
located
在
那个 客体
和
那个 第四 客体
是
人类
的
instance
和
有点 过程
是
看
的
subclass
和 对所有
另一个 过程
如果
那个 另外 过程
是
有点 过程
的
instance
,
然后
那个 第三 客体
是
那个 另外 过程
的
patient
,
然后
那个 第四 客体
能够担当
主事
的角色做
那个 有点 过程
(=>
(
and
(
instance
?SEEING
Seeing
)
(
patient
?SEEING ?OBJ)
(
agent
?SEEING ?AGENT)
(
instance
?OBJ
Object
)
(
time
?SEEING ?TIME)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE))
Justice.kif 61-69
如果
过程
是
看
的
instance
和
客体
是
那个 过程
的
patient
和
施事体
是
那个 过程
的
agent
和
那个 客体
是
客体
的
instance
和
那个 过程
在
时间位置
是 存在 和
那个 客体
是
located
在
另一个 客体
在
那个 时间位置
holdsDuring
,
然后
那个 客体
是在此刻
observed
对于
那个 时间位置
和
那个 另外 客体
在地方
那个 施事体
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
如果
过程
是
TemperatureFallingExperiencedAsFeelingCold
的
instance
和
那个 过程
是
located
在
客体
和
施事体
经历了
那个 过程
,
然后
那个 施事体
believes
ColdTemperature
是
那个 客体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
如果
过程
是
TemperatureRisingExperiencedAsFeelingWarm
的
instance
和
那个 过程
是
located
在
客体
和
施事体
经历了
那个 过程
,
然后
那个 施事体
believes
WarmTemperature
是
那个 客体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
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
?T
Tunnel
)
(
located
?T ?L))
(
instance
?L
UndergroundArea
))
Transportation.kif 1637-1641
如果
物理
是
隧道
的
instance
和
那个 物理
是
located
在
客体
,
然后
那个 客体
是
地下区域
的
instance
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
如果
电脑程序
是
反安装
的
instance
和
时距
equal
那个 电脑程序
出现 的
time
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
电脑程序
的
instance
和
那个 电脑程序
是
located
在
客体
,
然后 有存在
另一个 电脑程序
和
另一个 时距
这样
那个 另外 电脑程序
是
安装
的
instance
和
那个 另外 时距
equal
那个 另外 电脑程序
出现 的
time
和
那个 数字数据
是由
那个 另外 电脑程序
processed
和
那个 数字数据
是
电脑程序
的
instance
和
那个 另外 电脑程序
是
located
在
那个 客体
和
那个 另外 时距
比
那个 时距
发生的
earlier
(=>
(
and
(
instance
?UNIT
CommercialUnit
)
(
instance
?ORG
Organization
)
(
located
?ORG ?UNIT))
(
not
(
exists
(?OTHER)
(
and
(
instance
?OTHER
Organization
)
(
located
?OTHER ?UNIT)
(
not
(
equal
?OTHER ?ORG))))))
Mid-level-ontology.kif 7068-7077
如果
客体
是
商业单位
的
instance
和
物理
是
机构
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后 不存在
另一个 物理
这样
那个 另外 物理
是
机构
的
instance
和
那个 另外 物理
是
located
在
那个 客体
和
那个 另外 物理
不
equal
那个 物理
(=>
(
and
(
instance
?W
Wind
)
(
located
?W ?L)
(
equal
?T
(
WhenFn
?W))
(
holdsDuring
?T
(
surfaceWindSpeed
?L
(
MeasureFn
?N
MilesPerHour
))))
(
greaterThan
?N 20.0))
Merge.kif 11264-11272
如果
物理
是
风
的
instance
和
那个 物理
是
located
在
客体
和
时距
equal
那个 物理
出现 的
time
和
实数
英里每小時
是
那个 客体
的
surface
风速 在
那个 时距
holdsDuring
,
然后
那个 实数
是
greaterThan
20.0
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
如果
群体
是
Buffet
的
instance
和
物理
是
那个 群体
的
member
和
那个 群体
是
located
在
客体
和
过程
是
进食
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
是
located
在
另一个 客体
和
那个 物理
是
那个 过程
的
patient
,
然后
那个 客体
不
equal
那个 另外 客体
和 有存在
另一个 过程
这样
那个 另外 过程
是
获得
的
instance
和
那个 物理
是
那个 另外 过程
的
patient
和
那个 客体
是
那个 另外 过程
的源头 和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
出现 的
time
%n在
那个 过程
出现 的
time
before
发生
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26457-26475
如果
客体
是
FireAlarm
的
instance
和
设备上
是
那个 客体
的
attribute
和
那个 客体
是
located
在
另一个 客体
,
然后 有存在
过程
这样
那个 过程
是
放射声音
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 过程
的 目的 是 有存在
实体
这样
那个 实体
是
一群人
的
instance
和
那个 实体
是
located
在
那个 另外 客体
和
那个 实体
knows
有存在
另一个 实体
这样
那个 另外 实体
是
火
的
instance
和
那个 另外 实体
是
located
在
那个 另外 客体
(=>
(
and
(
instance
?X
HotTub
)
(
located
?WATER ?X)
(
instance
?WATER
Water
))
(
modalAttribute
(
exists
(?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
instrument
?HEAT ?X)
(
patient
?HEAT ?WATER)))
Possibility
))
Mid-level-ontology.kif 25305-25315
如果
客体
是
HotTub
的
instance
和
物理
是
located
在
那个 客体
和
那个 物理
是
水
的
instance
,
然后 有存在
实体
这样
那个 实体
是
加热
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 物理
是
那个 实体
的
patient
的声明 has
可能性
的语气
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
如果
物理
是
SurveillanceSystem
的
instance
和
那个 物理
是
群体
的
member
和
那个 物理
是
另一个 群体
的
member
和
那个 群体
是
located
在
客体
和
那个 群体
是
相机
的
instance
和
那个 另外 群体
是
located
在
另一个 客体
和
那个 客体
不
equal
那个 另外 客体
和
那个 另外 群体
是
VideoDisplay
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
过程
的
instance
和
那个 实体
是
located
在
那个 客体
和
那个 另外 实体
表达
那个 实体
和
相机
是导致
那个 第四 实体
的
instrument
和
那个 另外 实体
是
那个 第四 实体
的
result
和
那个 第三 实体
是
放射光线
的
instance
和
那个 另外 群体
是导致
那个 第三 实体
的
instrument
和
那个 另外 实体
是
那个 第三 实体
的
patient
和
那个 实体
的开始%n在
那个 第四 实体
的开始
before
发生 和
那个 第四 实体
的开始%n在
那个 第三 实体
的开始
before
发生
(=>
(
and
(
located
?T ?R)
(
instance
?T
Toilet
)
(
instance
?R
Room
))
(
instance
?R
Bathroom
))
Mid-level-ontology.kif 2202-2207
如果
物理
是
located
在
客体
和
那个 物理
是
厕所
的
instance
和
那个 客体
是
房间
的
instance
,
然后
那个 客体
是
浴室
的
instance
(=>
(
and
(
muscleInsertion
?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)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
如果
muscleInsertion
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
StandardAnatomicalPosition
是
那个 客体
的
attribute
在
时距
holdsDuring
和
Healthy
是
那个 客体
的
attribute
和
另一个 时距
是
MuscularContraction
的
instance
和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
另一个 客体
是
有点 肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是导致
那个 另外 时距
的
instrument
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 第三 客体
接上
第四 客体
和
那个 第三 客体
是
located
在
实体
在
那个 另外 时距
的开始
holdsDuring
,
然后
那个 第三 客体
不 是
located
在
那个 实体
在
那个 另外 时距
的结束
holdsDuring
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