instance
(=>
(
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
?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
?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
去做
运动
(=>
(
and
(
attribute
?DEVICE ?ATTRIBUTE)
(
instance
?ATTRIBUTE
DeviceAttribute
))
(
instance
?DEVICE
Device
))
Mid-level-ontology.kif 1833-1837
如果
属性
是
客体
的
attribute
和
那个 属性
是
设备属性
的
instance
,
然后
那个 客体
是
设备
的
instance
(=>
(
and
(
attribute
?EXP ?ATTR)
(
instance
?ATTR
ExperimentAttribute
))
(
instance
?EXP
Experimenting
))
UXExperimentalTerms.kif 4407-4411
如果
属性
是
客体
的
attribute
和
那个 属性
是
ExperimentAttribute
的
instance
,
然后
那个 客体
是
试验
的
instance
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
如果
DecafAttribute
是
物质
的
attribute
和
那个 物质
是
Food
的
instance
,
然后 不存在
另一个 物质
这样
那个 另外 物质
是
Caffeine
的
instance
和
那个 另外 物质
是
那个 物质
的
piece
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
如果
FamilyStylePortion
是
客体
的
attribute
和
那个 客体
的
measure
是
实数
测量单位
和
FamilyStylePortion
不 是
另一个 客体
的
attribute
和
那个 另外 客体
的
measure
是
另一个 实数
那个 测量单位
和
那个 客体
是
类
的
instance
和
那个 另外 客体
是
那个 类
的
instance
和
那个 测量单位
是
测量单位
的
instance
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
attribute
?H ?D)
(
diseaseTreatment
?D ?P)
(
instance
?TP
TherpeuticProcess
)
(
agent
?TP ?DOC)
(
patient
?TP ?H)
(
attribute
?DOC
MedicalDoctor
))
(
modalAttribute
(
instance
?TP ?P)
Possibility
))
Medicine.kif 5824-5834
如果
疾病或综合症
是
客体
的
attribute
和
diseaseTreatment
那个 疾病或综合症
and
有点 治疗过程
和
过程
是
TherpeuticProcess
的
instance
和
那个 疾病或综合症
OC 是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
医生
是
那个 疾病或综合症
OC 的
attribute
,
然后
那个 过程
是
有点 治疗过程
的
instance
的声明 has
可能性
的语气
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
如果
Anemia
是
客体
的
attribute
和
另一个 客体
是
血液
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
女
是
那个 客体
的
attribute
和
那个 另外 客体
的
measure
是 0.1
升
和
那个 客体
E 是
Hemoglobin
的
instance
和
那个 客体
E 是
那个 另外 客体
的
part
和
那个 客体
E2 不 是
Hemoglobin
的
instance
和
那个 客体
E 不
equal
那个 客体
E2 和
那个 客体
2 是
那个 另外 客体
的
part
和
那个 客体
E 的
measure
是
实数
公克
,
然后
那个 实数
是
lessThan
12
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
如果
Anemia
是
客体
的
attribute
和
另一个 客体
是
血液
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
男
是
那个 客体
的
attribute
和
那个 另外 客体
的
measure
是 0.1
升
和
那个 客体
E 是
Hemoglobin
的
instance
和
那个 客体
E 是
那个 另外 客体
的
part
和
那个 客体
E2 不 是
Hemoglobin
的
instance
和
那个 客体
E 不
equal
那个 客体
E2 和
那个 客体
2 是
那个 另外 客体
的
part
和
那个 客体
E 的
measure
是
实数
公克
,
然后
那个 实数
是
lessThan
13
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
如果
ADHD
是
施事体
的
attribute
和
ADHD
不 是
另一个 施事体
的
attribute
和
那个 施事体
不
equal
那个 另外 施事体
和
过程
是
类
的
instance
和
另一个 过程
是
那个 类
的
instance
和
那个 类
是
有意图的心理过程
的
subclass
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
的
duration
是
持续时间
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 持续时间
,
然后
那个 另外 持续时间
是
greaterThan
那个 持续时间
的声明 has
容易
的语气
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