Human
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
例
Human
and
Human
佔據位置
Human
,
Position
and
Organization
attribute
Position
and
銀行家
例
Organization
and
BankFinancialOrganization
(=>
(
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
例
可穿戴物品
and
聽力保護
例
Animal
and
Human
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
,
entity
and
entity
例
entity
and
RadiatingSound
例
entity
and
Hearing
例
entity
and
Human
患者
entity
and
entity
體驗者
entity
and
entity
原因
entity
and
entity
體驗者
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
儀器
entity
and
可穿戴物品
(=>
(
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
例
Process
and
GravesDisease
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
Human
例
Object
and
甲狀腺激素
部分
Object
and
AutonomousAgent
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Human
例
Object
and
甲狀腺激素
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
attribute
Object
and
Healthy
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
HashimotosThyroiditis
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
Human
例
Object
and
甲狀腺激素
部分
Object
and
AutonomousAgent
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Human
例
Object
and
甲狀腺激素
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
attribute
Object
and
Healthy
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Confining
and
監禁
Animal
是
Confining
的 拘留者
例
Animal
and
Human
時間
Confining
and
TimeInterval
例
TimeInterval
and
TimeInterval
被捕
TimeInterval
例
TimeInterval
and
TimeInterval
時間
被捕
and
TimeInterval
早期
TimeInterval
and
TimeInterval
例
被捕
and
被捕
被捕
被捕
and
Animal
(=>
(
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
例
Object
and
KnockLight
例
AutonomousAgent
and
Human
attribute
AutonomousAgent
and
聾
使用
Object
and
AutonomousAgent
有目的
Object
and
entity
entity
例
entity
and
Impacting
患者
entity
and
entity
例
entity
and
門
知道
AutonomousAgent
and
entity
(=>
(
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
例
Process
and
Misdiagnosing
agent
Process
and
CognitiveAgent
參照
Process
and
Entity
例
Entity
and
Human
CognitiveAgent
IS
containsFormula
Process
and
attribute
Entity
and
CognitiveAgent
IS
例
CognitiveAgent
IS and
DiseaseOrSyndrome
相信
CognitiveAgent
and
attribute
Entity
and
CognitiveAgent
IS
真相
attribute
Entity
and
CognitiveAgent
IS and
假
(=>
(
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
例
音調
and
音調
音調
的
frequency
是
測量
RealNumber
and
赫茲
loudness
音調
and
測量
RealNumber
and
Decibel
位於
音調
and
哪裡
Human
and
開始
何時
音調
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and 250
比較多
8000 and
RealNumber
例
Human
and
Human
例
Process
and
聽
agent
Process
and
Human
hearingAcuity
Human
,
測量
RealNumber
and
Decibel
and
測量
RealNumber
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
例
Process
and
Ordaining
患者
Process
and
Physical
例
Physical
and
Human
會員
Physical
and
基督教
有目的
Process
and
entity
entity
例
entity
and
Ceremony
例
entity
and
任命
子過程
entity
and
entity
患者
entity
and
Physical
appointedPosition
entity
,
Physical
and
牧師
(=>
(
and
(
instance
?ORG
Human
)
(
holdsDuring
?TIME
(
attribute
?ORG
FullyFormed
)))
(
holdsDuring
?TIME
(
instance
?ORG
HumanAdult
)))
Mid-level-ontology.kif 233-239
例
Entity
and
Human
持有期間
TimePosition
and
attribute
Entity
and
完全成型
持有期間
TimePosition
and
例
Entity
and
人類成人
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22470-22475
例
Entity
and
軍事組織
持有期間
TimePosition
and
會員
Entity
and
Entity
例
Entity
and
Human
持有期間
TimePosition
and
attribute
Entity
and
軍人
(=>
(
and
(
instance
?ORGANISM
Human
)
(
attribute
?ORGANISM
Fever
))
(
exists
(?NUMBER)
(
and
(
measure
?ORGANISM
(
MeasureFn
?NUMBER
FahrenheitDegree
))
(
greaterThan
?NUMBER 98.6))))
WMD.kif 1110-1117
例
Object
and
Human
attribute
Object
and
發熱
RealNumber
測量
Object
and
測量
RealNumber
and
華氏度
比較多
RealNumber
and 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
例
Object
and
Human
attribute
Object
and
Criminal
Entity
Process
例
Entity
and
犯罪行為
例
Process
and
法律定罪
參照
Process
and
Entity
患者
Process
and
Object
(=>
(
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
例
Physical
and
DisabledParking
例
AutonomousAgent
and
Human
attribute
AutonomousAgent
and
Attribute
例
Attribute
and
Disability
有代理人的目的
Physical
,
Physical
對於
entity
在事件
目的地
plays
角色
entity
對於
entity
在事件
患者
plays
角色
例
entity
and
TransportationDevice
and
AutonomousAgent
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7467-7474
例
Human
and
Human
等於
Human
的後裔 and
FamilyGroup
Organism
會員
Organism
and
FamilyGroup
Human
是
Organism
的
ancestor
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
例
Human
and
Human
例
Organization
and
Organization
例
Position
and
Position
attribute
Human
and
Position
和
Organization
的
member
角色
佔據位置
Human
,
Position
and
Organization
(=>
(
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
例
Human
and
Human
例
Position
and
Position
例
GeopoliticalArea
and
GeopoliticalArea
Position
是
GeopoliticalArea
的
leader
職位
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
Human
是
GeopoliticalArea
的
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
例
Human
and
Human
例
Position
and
Position
例
Organization
and
AutonomousAgent
Position
是
Organization
的
leader
職位
佔據位置
Human
,
Position
and
Organization
Human
是
Organization
的
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
例
AutonomousAgent
and
Human
例
Process
and
Writing
例
Entity
and
Text
例
Entity
and
Document
結果
Process
and
Entity
agent
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
作家
(=>
(
and
(
instance
?PILOT
Human
)
(
attribute
?PILOT
Pilot
))
(
hasSkill
FlyingAircraft
?PILOT))
Biography.kif 634-638
例
AutonomousAgent
and
Human
attribute
AutonomousAgent
and
飛行員
有技巧
FlyingAircraft
and
AutonomousAgent
(=>
(
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
例
BodyPart
and
CervicalVertebraBone
部分
BodyPart
and
Object
例
Object
and
Human
attribute
Object
and
DiseaseOrSyndrome
BodyPart
例
BodyPart
and
CervicalVertebraBone
等於
BodyPart
and
BodyPart
部分
BodyPart
and
Object
connectedBodyPart
BodyPart
and
BodyPart
(=>
(
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
例
BodyPart
and
FalseRibBone
部分
BodyPart
and
Object
例
Object
and
Human
attribute
Object
and
DiseaseOrSyndrome
BodyPart
例
BodyPart
and
Sternum
部分
BodyPart
and
Object
connectedBodyPart
BodyPart
and
BodyPart
(=>
(
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
例
BodyPart
and
LumbarVertebraBone
部分
BodyPart
and
Object
例
Object
and
Human
attribute
Object
and
DiseaseOrSyndrome
BodyPart
例
BodyPart
and
LumbarVertebraBone
等於
BodyPart
and
BodyPart
部分
BodyPart
and
Object
connectedBodyPart
BodyPart
and
BodyPart
(=>
(
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
例
Entity
and
RadiatingLight
例
AutonomousAgent
and
Human
例
Process
and
Seeing
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
輻射可見光
(=>
(
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
例
BodyPart
and
ThoracicVertebraBone
部分
BodyPart
and
Object
例
Object
and
Human
attribute
Object
and
DiseaseOrSyndrome
BodyPart
例
BodyPart
and
ThoracicVertebraBone
等於
BodyPart
and
BodyPart
部分
BodyPart
and
Object
connectedBodyPart
BodyPart
and
BodyPart
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