Human
(人[人間])
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
人[人間]
は
人[人間]
の
instance
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
Banker
は
ポジション
の
attribute
では %n
組織
は
BankFinancialOrganization
の
instance
では %n
(=>
(
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
WearableItem
は
HearingProtection
の
instance
では %n
動物
は
人[人間]
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
WearableItem
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
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
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
Healthy
は
オブジェクト
の
attribute
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
Healthy
は
オブジェクト
の
attribute
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
閉じ込め
は
Imprisoning
の
instance
では %n
detainee
閉じ込め
and
動物
動物
は
人[人間]
の
instance
では %n
閉じ込め
は
時間間隔
の
during
exists %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
PlacingUnderArrest
時間間隔
時間間隔
は
時間間隔
の
instance
では %n
PlacingUnderArrest
は
時間間隔
の
during
exists %n{ない}
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
PlacingUnderArrest
は
PlacingUnderArrest
の
instance
では %n
動物
は、
PlacingUnderArrest
の最中逮捕され %n
(=>
(
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
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
Deaf
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
オブジェクト
を
use
s %n{ない}
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
衝撃
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
Door
の
instance
では %n
AutonomousAgent
は
エンティティー
を
know
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
認識エージェント
IS
containsFormula
工程
and
認識エージェント
IS は
エンティティー
の
attribute
では %n
認識エージェント
IS は
病気または症候群
の
instance
では %n
認識エージェント
は
認識エージェント
IS は
エンティティー
の
attribute
では %n を
believe
s %n{ない}
認識エージェント
IS は
エンティティー
の
attribute
では %n
is
False
%n
(=>
(
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
MusicalTone
は
MusicalTone
の
instance
では %n
soundFrequency
MusicalTone
and
実数
の
Hertz
(s)
loudness
MusicalTone
and
実数
の
Decibel
(s)
MusicalTone
は
人[人間]
が
MusicalTone
の
time
の existence の
beginning
に
where
場所 に
located
して %n
実数
は
実数
より
greater
では %n
実数
は
実数
より
greater
では %n
実数
は 250 より
greater
では %n 8000 は
実数
より
greater
では %n
人[人間]
は
人[人間]
の
instance
では %n
工程
は
Listening
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
hearingAcuity
人[人間]
,
実数
の
Decibel
(s) and
実数
の
Decibel
(s)
(=>
(
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
では %n
物理
は
工程
の
patient
では %n
物理
は
人[人間]
の
instance
では %n
物理
は
Christianity
の
member
では %n
工程
は
エンティティー
エンティティー
エンティティー
は
Ceremony
の
instance
では %n
エンティティー
は
Appointing
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
物理
は
エンティティー
の
patient
では %n
appointedPosition
エンティティー
,
物理
and
Cleric
の 目的 %n{ない}
(=>
(
and
(
instance
?ORG
Human
)
(
holdsDuring
?TIME
(
attribute
?ORG
FullyFormed
)))
(
holdsDuring
?TIME
(
instance
?ORG
HumanAdult
)))
Mid-level-ontology.kif 233-239
エンティティー
は
人[人間]
の
instance
では %n
FullyFormed
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
HumanAdult
の
instance
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22470-22475
エンティティー
は
MilitaryOrganization
の
instance
では %n
エンティティー
は
エンティティー
の
member
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
MilitaryPerson
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?ORGANISM
Human
)
(
attribute
?ORGANISM
Fever
))
(
exists
(?NUMBER)
(
and
(
measure
?ORGANISM
(
MeasureFn
?NUMBER
FahrenheitDegree
))
(
greaterThan
?NUMBER 98.6))))
WMD.kif 1110-1117
オブジェクト
は
人[人間]
の
instance
では %n
Fever
は
オブジェクト
の
attribute
では %n
実数
オブジェクト
の
measure
は
実数
の
FahrenheitDegree
(s) では %n
実数
は 98.6 より
greater
では %n
(=>
(
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
では %n
Criminal
は
オブジェクト
の
attribute
では %n
エンティティー
工程
エンティティー
は
CriminalAction
の
instance
では %n
工程
は
LegalConviction
の
instance
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
オブジェクト
は
工程
の
patient
では %n
(=>
(
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
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
属性
は
AutonomousAgent
の
attribute
では %n
属性
は
Disability
の
instance
では %n
物理
は
AutonomousAgent
の 目的
playsRoleInEvent
物理
,
destination
and
エンティティー
playsRoleInEvent
エンティティー
,
patient
and
エンティティー
エンティティー
は
輸送機
の
instance
では %n %n{ない}
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7467-7474
人[人間]
は
人[人間]
の
instance
では %n
DescendantsFn
人[人間]
は
ファミリーグループ
と
equal
では %n
物
物
は
ファミリーグループ
の
member
では %n
ancestor
物
and
人[人間]
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
人[人間]
は
人[人間]
の
instance
では %n
組織
は
組織
の
instance
では %n
ポジション
は
ポジション
の
instance
では %n
MemberRoleFn
組織
and
ポジション
は
人[人間]
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
(=>
(
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
では %n
ポジション
は
ポジション
の
instance
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
leaderPosition
地政学的地域
and
ポジション
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
leader
地政学的地域
and
人[人間]
(=>
(
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
では %n
ポジション
は
ポジション
の
instance
では %n
組織
は
AutonomousAgent
の
instance
では %n
leaderPosition
組織
and
ポジション
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
leader
組織
and
人[人間]
(=>
(
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
は
人[人間]
の
instance
では %n
工程
は
執筆
の
instance
では %n
エンティティー
は
テキスト
の
instance
では %n
エンティティー
は
Document
の
instance
では %n
エンティティー
は
工程
の
result
では %n
AutonomousAgent
は
工程
の
agent
では %n
Writer
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?PILOT
Human
)
(
attribute
?PILOT
Pilot
))
(
hasSkill
FlyingAircraft
?PILOT))
Biography.kif 634-638
AutonomousAgent
は
人[人間]
の
instance
では %n
Pilot
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
FlyingAircraft
をする
skill
が %n{ない}
(=>
(
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
では %n
体の部分
は
オブジェクト
の
part
では %n
オブジェクト
は
人[人間]
の
instance
では %n
病気または症候群
は
オブジェクト
の
attribute
では
体の部分
体の部分
は
CervicalVertebraBone
の
instance
では %n
体の部分
は
体の部分
と
equal
では
体の部分
は
オブジェクト
の
part
では %n
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
では %n
体の部分
は
オブジェクト
の
part
では %n
オブジェクト
は
人[人間]
の
instance
では %n
病気または症候群
は
オブジェクト
の
attribute
では
体の部分
体の部分
は
Sternum
の
instance
では %n
体の部分
は
オブジェクト
の
part
では %n
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
では %n
体の部分
は
オブジェクト
の
part
では %n
オブジェクト
は
人[人間]
の
instance
では %n
病気または症候群
は
オブジェクト
の
attribute
では
体の部分
体の部分
は
LumbarVertebraBone
の
instance
では %n
体の部分
は
体の部分
と
equal
では
体の部分
は
オブジェクト
の
part
では %n
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
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
工程
は
見ること
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
RadiatingVisibleLight
の
instance
では %n
(=>
(
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
では %n
体の部分
は
オブジェクト
の
part
では %n
オブジェクト
は
人[人間]
の
instance
では %n
病気または症候群
は
オブジェクト
の
attribute
では
体の部分
体の部分
は
ThoracicVertebraBone
の
instance
では %n
体の部分
は
体の部分
と
equal
では
体の部分
は
オブジェクト
の
part
では %n
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