Human
(人类)
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
如果
人类
是
人类
的
instance
和
那个 人类
在
机构
任职
地位
和
银行家
是
那个 地位
的
attribute
,
然后
那个 机构
是
BankFinancialOrganization
的
instance
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
如果
可穿戴物品
是
听力保护
的
instance
和
动物
是
人类
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
过程
的
instance
和
那个 另外 实体
是
那个 第三 实体
所描述的类别 的
subclass
和
那个 实体
prevents
那个 另外 实体
的发生 和
那个 可穿戴物品
是导致
那个 实体
的
instrument
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
如果
过程
是
GravesDisease
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
是
人类
的
instance
和
客体
是
甲状腺激素
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 客体
的
measure
是
实数
测量单位
和
另一个 客体
是
人类
的
instance
和
第三 客体
是
甲状腺激素
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
的
measure
是
另一个 实数
那个 测量单位
和
Healthy
是
那个 另外 客体
的
attribute
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2382-2397
如果
过程
是
HashimotosThyroiditis
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
是
人类
的
instance
和
客体
是
甲状腺激素
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 客体
的
measure
是
实数
测量单位
和
另一个 客体
是
人类
的
instance
和
第三 客体
是
甲状腺激素
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
的
measure
是
另一个 实数
那个 测量单位
和
Healthy
是
那个 另外 客体
的
attribute
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?IMPRISON
Imprisoning
)
(
detainee
?IMPRISON ?AGENT)
(
instance
?AGENT
Human
)
(
time
?IMPRISON ?INTERVAL)
(
instance
?INTERVAL
TimeInterval
))
(
exists
(?ARREST ?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
time
?ARREST ?TIME)
(
earlier
?TIME ?INTERVAL)
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT))))
Mid-level-ontology.kif 23513-23526
如果
关押
是
监禁
的
instance
和
动物
是
那个 关押
的 拘留者 和
那个 动物
是
人类
的
instance
和
那个 关押
在
时距
是 存在 和
那个 时距
是
时距
的
instance
,
然后 有存在
被捕
和
另一个 时距
这样
那个 另外 时距
是
时距
的
instance
和
那个 被捕
在
那个 另外 时距
是 存在 和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 被捕
是
被捕
的
instance
和
那个 动物
是在
那个 被捕
的情况下被拘留
(=>
(
and
(
instance
?KL
KnockLight
)
(
instance
?A
Human
)
(
attribute
?A
Deaf
)
(
uses
?KL ?A))
(
hasPurpose
?KL
(
exists
(?KNOCK ?DOOR)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
instance
?DOOR
Door
)
(
knows
?A ?KNOCK)))))
Mid-level-ontology.kif 25840-25852
如果
客体
是
KnockLight
的
instance
和
施事体
是
人类
的
instance
和
聋
是
那个 施事体
的
attribute
和
那个 施事体
uses
那个 客体
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
碰撞
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
门
的
instance
和
那个 施事体
knows
那个 实体
(=>
(
and
(
instance
?M
Misdiagnosing
)
(
agent
?M ?D)
(
refers
?M ?P)
(
instance
?P
Human
))
(
exists
(?DIS)
(
and
(
containsFormula
?M
(
attribute
?P ?DIS))
(
instance
?DIS
DiseaseOrSyndrome
)
(
believes
?D
(
attribute
?P ?DIS))
(
truth
(
attribute
?P ?DIS)
False
))))
Medicine.kif 4195-4210
如果
过程
是
Misdiagnosing
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 过程
提到
实体
和
那个 实体
是
人类
的
instance
,
然后 有存在
那个 有认知的主事
IS 这样
containsFormula
那个 过程
and
那个 有认知的主事
IS 是
那个 实体
的
attribute
和
那个 有认知的主事
IS 是
疾病或综合症
的
instance
和
那个 有认知的主事
believes
那个 有认知的主事
IS 是
那个 实体
的
attribute
和
那个 有认知的主事
IS 是
那个 实体
的
attribute
是
假
(=>
(
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
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 156-169
如果
过程
是
Ordaining
的
instance
和
物理
是
那个 过程
的
patient
和
那个 物理
是
人类
的
instance
和
那个 物理
是
基督教
的
member
,
然后
那个 过程
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
Ceremony
的
instance
和
那个 另外 实体
是
任命
的
instance
和
那个 另外 实体
%n是
那个 实体
的
subProcess
和
那个 物理
是
那个 另外 实体
的
patient
和
appointedPosition
那个 另外 实体
,
那个 物理
and
牧师
(=>
(
and
(
instance
?ORG
Human
)
(
holdsDuring
?TIME
(
attribute
?ORG
FullyFormed
)))
(
holdsDuring
?TIME
(
instance
?ORG
HumanAdult
)))
Mid-level-ontology.kif 233-239
如果
实体
是
人类
的
instance
和
完全成型
是
那个 实体
的
attribute
在
时间位置
holdsDuring
,
然后
那个 实体
是
人类成人
的
instance
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22470-22475
如果
实体
是
军事组织
的
instance
和
另一个 实体
是
那个 实体
的
member
在
时间位置
holdsDuring
和
那个 另外 实体
是
人类
的
instance
,
然后
军人
是
那个 另外 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?ORGANISM
Human
)
(
attribute
?ORGANISM
Fever
))
(
exists
(?NUMBER)
(
and
(
measure
?ORGANISM
(
MeasureFn
?NUMBER
FahrenheitDegree
))
(
greaterThan
?NUMBER 98.6))))
WMD.kif 1110-1117
如果
客体
是
人类
的
instance
和
发热
是
那个 客体
的
attribute
,
然后 有存在
实数
这样
那个 客体
的
measure
是
那个 实数
华氏度
和
那个 实数
是
greaterThan
98.6
(=>
(
and
(
instance
?P
Human
)
(
attribute
?P
Criminal
))
(
exists
(?CA ?LC)
(
and
(
instance
?CA
CriminalAction
)
(
instance
?LC
LegalConviction
)
(
refers
?LC ?CA)
(
patient
?LC ?P))))
Justice.kif 87-96
如果
客体
是
人类
的
instance
和
Criminal
是
那个 客体
的
attribute
,
然后 有存在
实体
和
过程
这样
那个 实体
是
犯罪行为
的
instance
和
那个 过程
是
法律定罪
的
instance
和
那个 过程
提到
那个 实体
和
那个 客体
是
那个 过程
的
patient
(=>
(
and
(
instance
?PARK
DisabledParking
)
(
instance
?AGENT
Human
)
(
attribute
?AGENT ?ATTR)
(
instance
?ATTR
Disability
))
(
hasPurposeForAgent
?PARK
(
and
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
)) ?AGENT))
TransportDetail.kif 49-59
如果
物理
是
DisabledParking
的
instance
和
施事体
是
人类
的
instance
和
属性
是
那个 施事体
的
attribute
和
那个 属性
是
Disability
的
instance
,
然后
那个 施事体
在
那个 物理
的 目的 是
那个 物理
对于
实体
在事件
终点
plays
角色 和
另一个 实体
对于
那个 实体
在事件
受事
plays
角色 和
那个 另外 实体
是
运输设备
的
instance
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7467-7474
如果
人类
是
人类
的
instance
和
那个 人类
的后裔
equal
家族群组
,
然后 对所有
生物
那个 生物
是
那个 家族群组
的
member
若且唯若
那个 人类
是
那个 生物
的
ancestor
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
如果
人类
是
人类
的
instance
和
机构
是
机构
的
instance
和
地位
是
地位
的
instance
和
那个 地位
和
那个 机构
的
member
角色 是
那个 人类
的
attribute
,
然后
那个 人类
在
那个 机构
任职
那个 地位
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1487-1494
如果
人类
是
人类
的
instance
和
地位
是
地位
的
instance
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地位
是
那个 地缘政治区域
的
leader
职位 和
那个 人类
在
那个 地缘政治区域
的
Government
任职
那个 地位
,
然后
那个 人类
是
那个 地缘政治区域
的
leader
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
如果
人类
是
人类
的
instance
和
地位
是
地位
的
instance
和
机构
是
施事体
的
instance
和
那个 地位
是
那个 机构
的
leader
职位 和
那个 人类
在
那个 机构
任职
那个 地位
,
然后
那个 人类
是
那个 机构
的
leader
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?WRITE
Writing
)
(
or
(
instance
?TEXT
Text
)
(
instance
?TEXT
Document
))
(
result
?WRITE ?TEXT)
(
agent
?WRITE ?PERSON))
(
attribute
?PERSON
Writer
))
Biography.kif 742-751
如果
施事体
是
人类
的
instance
和
过程
是
写作
的
instance
和
实体
是
文本
的
instance
或
那个 实体
是
Document
的
instance
和
那个 实体
是
那个 过程
的
result
和
那个 施事体
是
那个 过程
的
agent
,
然后
作家
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?PILOT
Human
)
(
attribute
?PILOT
Pilot
))
(
hasSkill
FlyingAircraft
?PILOT))
Biography.kif 634-638
如果
施事体
是
人类
的
instance
和
飞行员
是
那个 施事体
的
attribute
,
然后
那个 施事体
hasSkill
去做
FlyingAircraft
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 561-574
如果
有点 身体部位
是
CervicalVertebraBone
的
instance
和
有点 身体部位
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 有点 身体部位
这样
另一个 有点 身体部位
是
CervicalVertebraBone
的
instance
和
那个 另外 有点 身体部位
不
equal
那个 有点 身体部位
和
那个 另外 有点 身体部位
是
那个 客体
的
part
和
connectedBodyPart
那个 另外 有点 身体部位
and
那个 有点 身体部位
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R)))))
Anatomy.kif 505-517
如果
有点 身体部位
是
FalseRibBone
的
instance
和
有点 身体部位
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 客体
的
attribute
,
然后 不存在
另一个 有点 身体部位
这样
另一个 有点 身体部位
是
Sternum
的
instance
和
那个 另外 有点 身体部位
是
那个 客体
的
part
和
connectedBodyPart
那个 另外 有点 身体部位
and
那个 有点 身体部位
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 601-614
如果
有点 身体部位
是
LumbarVertebraBone
的
instance
和
有点 身体部位
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 有点 身体部位
这样
另一个 有点 身体部位
是
LumbarVertebraBone
的
instance
和
那个 另外 有点 身体部位
不
equal
那个 有点 身体部位
和
那个 另外 有点 身体部位
是
那个 客体
的
part
和
connectedBodyPart
那个 另外 有点 身体部位
and
那个 有点 身体部位
(=>
(
and
(
instance
?R
RadiatingLight
)
(
instance
?H
Human
)
(
instance
?S
Seeing
)
(
agent
?S ?H)
(
patient
?S ?R))
(
instance
?R
RadiatingVisibleLight
))
Mid-level-ontology.kif 624-631
如果
实体
是
放射光线
的
instance
和
施事体
是
人类
的
instance
和
过程
是
看
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
patient
,
然后
那个 实体
是
辐射可见光
的
instance
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 669-682
如果
有点 身体部位
是
ThoracicVertebraBone
的
instance
和
有点 身体部位
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 有点 身体部位
这样
另一个 有点 身体部位
是
ThoracicVertebraBone
的
instance
和
那个 另外 有点 身体部位
不
equal
那个 有点 身体部位
和
那个 另外 有点 身体部位
是
那个 客体
的
part
和
connectedBodyPart
那个 另外 有点 身体部位
and
那个 有点 身体部位
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