and
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
如果
Image
是在
Album
的
image
和
客体
是
那个 Album
在
有点 DataStorageDevice
的
set
复制 的
instance
和
自身连接物体
contains
那个 客体
,
然后
那个 Image
是
那个 自身连接物体
的前面 的
part
的声明 has
容易
的语气
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6231-6244
如果
allergic
人类
and
有点 物质
和
有点 物质
UB 是
那个 有点 物质
的
instance
和
那个 有点 物质
UB 接上
那个 人类
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
AllergicReaction
的
instance
和
那个 人类
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
时段 和
那个 时间位置
重叠 和
那个 时间位置
的开始%n在
那个 另外 实体
出现 的
time
的开始
before
发生 的声明 has
容易
的语气
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
如果
amount
有点 物质
,
躯体性物体
and
实数
UnitOfMass
和
有点 物质
I 是
那个 有点 物质
的
instance
和
那个 有点 物质
I 的
measure
是
那个 实数
2
那个 UnitOfMass
和
那个 有点 物质
I 是
那个 躯体性物体
的
part
,
然后 有存在
串列
这样
那个 实数
2
那个 UnitOfMass
是
那个 串列
的
member
和
那个 串列
equal
AmountsFn
那个 有点 物质
,
那个 躯体性物体
and
那个 UnitOfMass
和
那个 实数
equal
ListSumFn
那个 串列
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
如果
金融账户
对于
时间位置
到期的
amount
货币测量
和
有认知的主事
持有
account
那个 金融账户
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10685-10696
如果
antagonistMuscles
有点 肌肉
and
另一个 有点 肌肉
和
过程
是
Extension
的
instance
和
有点 肌肉
C 是导致
那个 过程
的
instrument
和
移动
运动
and
另一个 有点 肌肉
C 和
那个 有点 肌肉
C 是
那个 有点 肌肉
的
instance
和
那个 另外 有点 肌肉
C 是
那个 另外 有点 肌肉
的
instance
和
那个 有点 肌肉
C 是
第三 客体
的
part
和
那个 另外 有点 肌肉
C 是
那个 第三 客体
的
part
和
那个 第三 客体
是
哺乳动物
的
instance
,
然后
那个 另外 有点 肌肉
C 能够担当
工具
的角色做
Flexion
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?F
Flexion
)
(
instrument
?F ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10672-10683
如果
antagonistMuscles
有点 肌肉
and
另一个 有点 肌肉
和
运动
是
Flexion
的
instance
和
有点 肌肉
C 是导致
那个 运动
的
instrument
和
移动
那个 运动
and
另一个 有点 肌肉
C 和
那个 有点 肌肉
C 是
那个 有点 肌肉
的
instance
和
那个 另外 有点 肌肉
C 是
那个 另外 有点 肌肉
的
instance
和
那个 有点 肌肉
C 是
第三 客体
的
part
和
那个 另外 有点 肌肉
C 是
那个 第三 客体
的
part
和
那个 第三 客体
是
哺乳动物
的
instance
,
然后
那个 另外 有点 肌肉
C 能够担当
工具
的角色做
Extension
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31387-31394
如果
applicableRelation
客体
and
关系
和
那个 客体
是
那个 客体
C 的
instance
和
那个 关系
的 1 数量 是
另一个 类
的
instance
,
然后
那个 客体
C
equal
那个 另外 类
或
那个 客体
C 是
那个 另外 类
的
subclass
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17948-17959
如果 1 的
approximate
diameter
是 %2 和
客体
的
radius
是
实数
和 2.0
那个 实数
M 和
那个 客体
的
measure
是
另一个 实数
另一个 测量单位
和
自身连接物体
的
measure
是
第三 实数
那个 另外 测量单位
和
那个 实数
M 是
UnitOfLength
的
instance
和
那个 另外 测量单位
是
UnitOfVolume
的
instance
,
然后
那个 另外 实数
equal
那个 第三 实数
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
如果
实数
测量单位
是
地理区域
的
arable
土地 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 另外 实数
是
面积测量
的
instance
和
第三 实数
equal
那个 实数
和
那个 另外 实数
,
然后
那个 第三 实数
那个 测量单位
是
那个 地理区域
的
arable
土地
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
如果
实数
测量单位
是
地理区域
的
arable
土地 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 测量单位
是
UnitOfArea
的
instance
,
然后 有存在
另一个 地理区域
这样
那个 另外 地理区域
是
耕地
的
instance
和
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
的
measure
是
那个 实数
和
那个 另外 实数
那个 测量单位
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
如果
政体
是
地缘政治区域
的
Government
的
attribute
和
那个 政体
是
政体
的
instance
,
然后 %2 是 1% 的
government
类别
(=>
(
and
(
attribute
?A ?ATTR)
(
instance
?ATTR
AlbumAttribute
))
(
instance
?A
Album
))
Music.kif 478-482
如果
属性
是
客体
的
attribute
和
那个 属性
是
AlbumAttribute
的
instance
,
然后
那个 客体
是
Album
的
instance
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
如果
AppraisalAsJustTreatment
是
有认知的主事
的
attribute
和
那个 有认知的主事
JT 是
AppraisalProcess
的
instance
和
那个 有认知的主事
是
那个 有认知的主事
JT 的
agent
,
然后 有存在
另一个 过程
和
那个 有认知的主事
2 这样
那个 另外 过程
是
过程
的
instance
和
那个 有认知的主事
JT 提到
那个 另外 过程
和
那个 有认知的主事
2 是
那个 另外 过程
的
agent
和
那个 有认知的主事
不
equal
那个 有认知的主事
2 和
那个 有认知的主事
是
那个 另外 过程
的
patient
和
那个 有认知的主事
wants
那个 另外 过程
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
如果
AppraisalAsUnjustTreatment
是
有认知的主事
的
attribute
和
那个 有认知的主事
UJ 是
AppraisalProcess
的
instance
和
那个 有认知的主事
是
那个 有认知的主事
UJ 的
agent
,
然后 有存在
另一个 过程
和
那个 有认知的主事
2 这样
那个 另外 过程
是
过程
的
instance
和
那个 有认知的主事
UJ 提到
那个 另外 过程
和
那个 有认知的主事
2 是
那个 另外 过程
的
agent
和
那个 有认知的主事
不
equal
那个 有认知的主事
2 和
那个 有认知的主事
是
那个 另外 过程
的
patient
和
那个 有认知的主事
doesn't
wants
那个 另外 过程
(=>
(
and
(
attribute
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 223-230
如果
Founder
是
施事体
的
attribute
和
那个 施事体
是
人类
的
instance
,
然后 有存在
过程
这样
那个 过程
是
创建
的
instance
和
那个 施事体
是
那个 过程
的
agent
(=>
(
and
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4373-4382
如果
TwoFactorAuthentication
是
用户帐号
的
attribute
和
loggedInDuring
施事体
,
那个 用户帐号
and
时距
,
然后 有存在
那个 时距
F 这样
那个 时距
F 是
TwoFactorLoggingIn
的
instance
和
那个 施事体
是
那个 时距
F 的
agent
和
accountUsed
那个 时距
F and
那个 用户帐号
和
那个 时距
F 出现 的
time
比
那个 时距
发生的
earlier
(=>
(
and
(
attribute
?ACCT ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?ACCT
UserAccount
))
UXExperimentalTerms.kif 648-652
如果
属性
是
客体
的
attribute
和
那个 属性
是
AccountAttribute
的
instance
,
然后
那个 客体
是
用户帐号
的
instance
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
如果
配音演员
是
施事体
的
attribute
和
过程
是
戏剧表演
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
另一个 过程
是
语言交流
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
%n是
那个 过程
的
subProcess
,
然后 不存在
第三 过程
和
另一个 施事体
这样
那个 第三 过程
是
看
的
instance
和
那个 施事体
是
那个 第三 过程
的
patient
和
那个 另外 施事体
是
那个 第三 过程
的
agent
和 有存在
第四 过程
和
那个 另外 施事体
这样
那个 第四 过程
是
听
的
instance
和
那个 施事体
是
那个 第四 过程
的
patient
和
那个 另外 施事体
是
那个 第四 过程
的
agent
(=>
(
and
(
attribute
?AGENT
(
MemberFn
?ORG))
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
))
(
member
?AGENT ?ORG))
Government.kif 1774-1779
如果
机构
的
member
是
客体
的
attribute
和
那个 客体
是
施事体
的
instance
和
那个 机构
是
机构
的
instance
,
然后
那个 客体
是
那个 机构
的
member
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
如果
共产主义国家
是
施事体
的
attribute
和
那个 施事体
是
国家
的
instance
,
然后
中央计划经济
是
那个 施事体
的
economy
类别
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1754-1759
如果
平坦的地形
是
客体
的
attribute
和
土地面积
是
那个 客体
的
part
和
非负实数
是
那个 土地面积
的
slope
梯度,
然后 0.005 是
greaterThan
那个 非负实数
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
如果
高收入国家
是
施事体
的
attribute
和
那个 施事体
不 是
石油输出国组织
的
member
,
然后
发达国家
是
那个 施事体
的
economy
类别
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1766-1771
如果
低地形
是
客体
的
attribute
和
土地面积
是
那个 客体
的
part
和
非负实数
是
那个 土地面积
的
slope
梯度,
然后 0.03 是
greaterThan
那个 非负实数
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1363-1370
如果
属性
是
施事体
的
attribute
和
那个 属性
是
ProfessionalAthlete
的
instance
,
然后 有存在
比赛
这样
那个 比赛
是
运动
的
instance
和
那个 施事体
participates
在
那个 比赛
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1357-1361
如果
属性
是
施事体
的
attribute
和
那个 属性
是
ProfessionalAthlete
的
instance
,
然后
那个 施事体
hasSkill
去做
运动
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