located
(=>
(
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
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
時間間隔
は
Pulling
の
instance
では %n
時間間隔
は
オブジェクト
から
originate
s %n{ない}
AutonomousAgent
は
時間間隔
の
agent
では %n
AutonomousAgent
は
AutonomousAgent
LOC に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
時間間隔
は
エンティティー
に
end
s %n{ない}
エンティティー
エンティティー
and
エンティティー
AutonomousAgent
LOC と
エンティティー
の
distance
は
エンティティー
の
エンティティー
(s) では %n
AutonomousAgent
LOC と
オブジェクト
の
distance
は
エンティティー
の
エンティティー
(s) では %n
エンティティー
は
エンティティー
より
greater
では %n は
時間間隔
の
beginning
の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
時間間隔
は
Pushing
の
instance
では %n
時間間隔
は
オブジェクト
から
originate
s %n{ない}
AutonomousAgent
は
時間間隔
の
agent
では %n
AutonomousAgent
は
AutonomousAgent
LOC に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
時間間隔
は
エンティティー
に
end
s %n{ない}
エンティティー
エンティティー
and
エンティティー
AutonomousAgent
LOC と
エンティティー
の
distance
は
エンティティー
の
エンティティー
(s) では %n
AutonomousAgent
LOC と
オブジェクト
の
distance
は
エンティティー
の
エンティティー
(s) では %n
エンティティー
は
エンティティー
より
greater
では %n は
時間間隔
の
beginning
の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3595-3615
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
Tropics
の
instance
では %n
実数
Longitude
,
方向属性
,
実数
and
測定単位
objectGeographicCoordinates
オブジェクト
,
実数
の
測定単位
(s) and
Longitude
測定単位
は
UnitOfAngularMeasure
の
instance
では %n
実数
は
実数
より
less
では %n
実数
の
測定単位
(s) は
LatitudeFn
方向属性
, 23.0 の
AngularDegree
(s), 26.0 の
ArcMinute
(s) and 11.5 の
ArcSecond
(s) と
equal
では %n
方向属性
は
方向属性
の
instance
では %n
方向属性
は
North
と
equal
では %n
方向属性
は
South
と
equal
では %n
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
購買
の
instance
では %n
オブジェクト
オブジェクト
は
地政学的地域
の
instance
では %n
AutonomousAgent
工程
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
オブジェクト
に
located
して %n
記号文字列
エンティティー
and
エンティティー
_PURCHASE_AMOUNT
total
記号文字列
で記述される
class
and
エンティティー
_PURCHASE_AMOUNT
GMBFn
コレクション
は
エンティティー
_PURCHASE_AMOUNT と
equal
では %n
(=>
(
and
(
instance
?RC
RibCage
)
(
part
?RC ?H)
(
instance
?H
Human
)
(
attribute
?H
Living
)
(
not
(
and
(
instance
?P
PathologicProcess
)
(
located
?P ?H))))
(
exists
(?HT ?LG)
(
and
(
instance
?HT
Heart
)
(
instance
?HT
Lung
)
(
contains
?RC ?LG)
(
contains
?RC ?HT))))
Mid-level-ontology.kif 11247-11262
自己接続オブジェクト
は
RibCage
の
instance
では %n
自己接続オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
人[人間]
の
instance
では %n
Living
は
オブジェクト
の
attribute
では %n ~{
物理
は
病理学的プロセス
の
instance
では %n } ~{
物理
は
オブジェクト
に
located
して %n }
オブジェクト
T
オブジェクト
オブジェクト
T は
Heart
の
instance
では %n
オブジェクト
T は
Lung
の
instance
では %n
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
自己接続オブジェクト
は
オブジェクト
T を
contain
s %n{ない}
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
物理
は
地理的地域
の
instance
では %n
物理
は
AntarcticArea
に
located
して %n
時間位置
時間位置
は
日
の
instance
では %n
Illuminated
は
物理
の
attribute
では は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
物理
は
地理的地域
の
instance
では %n
物理
は
ArcticRegion
に
located
して %n
時間位置
時間位置
は
日
の
instance
では %n
Illuminated
は
物理
の
attribute
では は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?S
Stroke
)
(
instance
?B
Brain
)
(
located
?S ?B))
(
exists
(?N ?D)
(
and
(
instance
?N
NerveCell
)
(
located
?N ?B)
(
instance
?D
Destruction
)
(
subProcess
?D ?S)
(
patient
?D ?N))))
Mid-level-ontology.kif 11934-11945
工程
は
Stroke
の
instance
では %n
オブジェクト
は
Brain
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
物理
工程
物理
は
NerveCell
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
工程
は
破壊
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
物理
は
工程
の
patient
では %n
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
販売
の
instance
では %n
オブジェクト
オブジェクト
は
地政学的地域
の
instance
では %n
AutonomousAgent
工程
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
オブジェクト
に
located
して %n
記号文字列
エンティティー
and
エンティティー
_SALE_AMOUNT
total
記号文字列
で記述される
class
and
エンティティー
_SALE_AMOUNT
GMVFn
コレクション
は
エンティティー
_SALE_AMOUNT と
equal
では %n
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
オブジェクト
は
AuditoriumSeat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Auditorium
の
instance
では %n
オブジェクト
は
PerformanceStage
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
人[人間]
の
instance
では %n
工程
は
見ること
の
subclass
では %n
工程
工程
は
工程
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
工程
を
agent
として行う
capable
では %n
(=>
(
and
(
instance
?SEEING
Seeing
)
(
patient
?SEEING ?OBJ)
(
agent
?SEEING ?AGENT)
(
instance
?OBJ
Object
)
(
time
?SEEING ?TIME)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE))
Justice.kif 61-69
工程
は
見ること
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
工程
は
時間位置
の
during
exists %n{ない}
オブジェクト
は
オブジェクト
に
located
して %n は
時間位置
の
during
holds %n{ない}
observedAtTimeInPlace
オブジェクト
,
AutonomousAgent
,
時間位置
and
オブジェクト
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
工程
は
TemperatureFallingExperiencedAsFeelingCold
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
ColdTemperature
は
オブジェクト
の
attribute
では %n を
believe
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
工程
は
TemperatureRisingExperiencedAsFeelingWarm
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
WarmTemperature
は
オブジェクト
の
attribute
では %n を
believe
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
は
Ticket
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
issuedBy
AutonomousAgent
and
認識エージェント
AmusementGamblingAndRecreationIndustries
は
認識エージェント
の
attribute
では %n
認識エージェント
は
オブジェクト
に
located
して %n
confersNorm
認識エージェント
,
エンティティー
エンティティー
は
レクリエーションまたは運動
の
instance
では %n
オブジェクト
が
エンティティー
を
experience
s %n{ない}
eventLocated
エンティティー
and
オブジェクト
and
Permission
(=>
(
and
(
instance
?T
Tunnel
)
(
located
?T ?L))
(
instance
?L
UndergroundArea
))
Transportation.kif 1637-1641
物理
は
Tunnel
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
は
UndergroundArea
の
instance
では %n
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
ComputerProcess
は
SoftwareUnInstallation
の
instance
では %n
時間間隔
は
ComputerProcess
の
time
の existence と
equal
では %n
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
は
コンピュータープログラム
の
instance
では %n
ComputerProcess
は
オブジェクト
に
located
して %n
ComputerProcess
時間間隔
ComputerProcess
は
SoftwareInstallation
の
instance
では %n
時間間隔
は
ComputerProcess
の
time
の existence と
equal
では %n
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
は
コンピュータープログラム
の
instance
では %n
ComputerProcess
は
オブジェクト
に
located
して %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
(=>
(
and
(
instance
?UNIT
CommercialUnit
)
(
instance
?ORG
Organization
)
(
located
?ORG ?UNIT))
(
not
(
exists
(?OTHER)
(
and
(
instance
?OTHER
Organization
)
(
located
?OTHER ?UNIT)
(
not
(
equal
?OTHER ?ORG))))))
Mid-level-ontology.kif 7068-7077
オブジェクト
は
CommercialUnit
の
instance
では %n
物理
は
組織
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
物理
は
組織
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
は
物理
と
equal
では
(=>
(
and
(
instance
?W
Wind
)
(
located
?W ?L)
(
equal
?T
(
WhenFn
?W))
(
holdsDuring
?T
(
surfaceWindSpeed
?L
(
MeasureFn
?N
MilesPerHour
))))
(
greaterThan
?N 20.0))
Merge.kif 11264-11272
物理
は
Wind
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
時間間隔
は
物理
の
time
の existence と
equal
では %n
surfaceWindSpeed
オブジェクト
and
実数
の
MilesPerHour
(s) は
時間間隔
の
during
holds %n{ない}
実数
は 20.0 より
greater
では %n
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
コレクション
は
Buffet
の
instance
では %n
物理
は
コレクション
の
member
では %n
コレクション
は
オブジェクト
に
located
して %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
eventLocated
工程
and
オブジェクト
物理
は
工程
の
patient
では %n
オブジェクト
は
オブジェクト
と
equal
では
工程
工程
は
取得
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
工程
の
time
の existence の
before
に happens %n{ない}
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26457-26475
オブジェクト
は
FireAlarm
の
instance
では %n
DeviceOn
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
に
located
して %n
工程
工程
は
放射音
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n
エンティティー
は
エンティティー
エンティティー
は
Fire
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
を
know
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?X
HotTub
)
(
located
?WATER ?X)
(
instance
?WATER
Water
))
(
modalAttribute
(
exists
(?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
instrument
?HEAT ?X)
(
patient
?HEAT ?WATER)))
Possibility
))
Mid-level-ontology.kif 25305-25315
オブジェクト
は
HotTub
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
は
水
の
instance
では %n
ステートメント
エンティティー
エンティティー
は
加熱
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n
物理
は
エンティティー
の
patient
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
物理
は
SurveillanceSystem
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
Camera
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
オブジェクト
と
equal
では
コレクション
は
VideoDisplay
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
エンティティー
は
エンティティー
を
express
es %n{ない}
Camera
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
result
では %n
エンティティー
は
放射光
の
instance
では %n
コレクション
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
beginning
は
エンティティー
の
beginning
の
before
に happens %n{ない}
エンティティー
の
beginning
は
エンティティー
の
beginning
の
before
に happens %n{ない} の 目的 %n{ない}
(=>
(
and
(
located
?T ?R)
(
instance
?T
Toilet
)
(
instance
?R
Room
))
(
instance
?R
Bathroom
))
Mid-level-ontology.kif 2202-2207
物理
は
オブジェクト
に
located
して %n
物理
は
Toilet
の
instance
では %n
オブジェクト
は
部屋
の
instance
では %n
オブジェクト
は
Bathroom
の
instance
では %n
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
筋肉
and
体の部分
オブジェクト
は
人[人間]
の
instance
では %n
StandardAnatomicalPosition
は
オブジェクト
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Healthy
は
オブジェクト
の
attribute
では %n
時間間隔
は
MuscularContraction
の
instance
では %n
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
時間間隔
の
instrument
では %n
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して は
時間間隔
の
end
の
during
holds %n{ない}
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