part
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
オブジェクト
は
AntibodyCOVIDTest
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
計測
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
COVIDAntibody
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
ステートメント
オブジェクト
は
オブジェクト
オブジェクト
は
COVIDAntibody
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n を
know
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?A
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
AutonomousAgent
は
Biped
の
instance
では %n
工程
は
Ambulating
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
Leg
の
instance
では %n
エンティティー
は
Leg
の
instance
では %n
エンティティー
は
AutonomousAgent
の
part
では %n
エンティティー
は
AutonomousAgent
の
part
では %n
エンティティー
は
工程
の
instrument
では %n
エンティティー
は
工程
の
instrument
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?AI
AutoImmuneDisorder
)
(
experiencer
?AI ?H))
(
exists
(?A ?D ?C)
(
and
(
instance
?A
Antibody
)
(
part
?A ?H)
(
instance
?C
Cell
)
(
part
?C ?H)
(
instance
?D
Destruction
)
(
instrument
?D ?A)
(
not
(
desires
?H
(
and
(
instance
?D
Destruction
)
(
instrument
?D ?A)))))))
Medicine.kif 2200-2216
工程
は
AutoImmuneDisorder
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
オブジェクト
工程
and
オブジェクト
オブジェクト
は
Antibody
の
instance
では %n
オブジェクト
は
認識エージェント
の
part
では %n
オブジェクト
は
細胞
の
instance
では %n
オブジェクト
は
認識エージェント
の
part
では %n
工程
は
破壊
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
認識エージェント
が
工程
は
破壊
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n を
desire
ない
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithPavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
PavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1357-1364
オブジェクト
は
Airport
の
instance
では %n
AirportWithPavedRunway
は
オブジェクト
の
attribute
では %n
オブジェクト
オブジェクト
は
PavedRunway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithUnpavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
UnpavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1371-1378
オブジェクト
は
Airport
の
instance
では %n
AirportWithUnpavedRunway
は
オブジェクト
の
attribute
では %n
オブジェクト
オブジェクト
は
UnpavedRunway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
オブジェクト
は
Airport
の
instance
では %n
LongRunwayAirport
は
オブジェクト
の
attribute
では %n
オブジェクト
実数
オブジェクト
は
Runway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
length
は
実数
の
Meter
(s) では
実数
は 2438
greater
では %n
実数
は 3047 より
less
または同等 では %n
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
オブジェクト
は
Airport
の
instance
では %n
MediumLengthRunwayAirport
は
オブジェクト
の
attribute
では %n
オブジェクト
実数
オブジェクト
は
Runway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
length
は
実数
の
Meter
(s) では
実数
は 1524
greater
では %n
実数
は 2437 より
less
または同等 では %n
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
オブジェクト
は
Airport
の
instance
では %n
ShortRunwayAirport
は
オブジェクト
の
attribute
では %n
オブジェクト
実数
オブジェクト
は
Runway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
length
は
実数
の
Meter
(s) では
実数
は 914
greater
では %n
実数
は 1523 より
less
または同等 では %n
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryLongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
greaterThan
?LENGTH 3047))))
Transportation.kif 1464-1474
オブジェクト
は
Airport
の
instance
では %n
VeryLongRunwayAirport
は
オブジェクト
の
attribute
では %n
オブジェクト
実数
オブジェクト
は
Runway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
length
は
実数
の
Meter
(s) では
実数
は 3047 より
greater
では %n
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1391-1400
オブジェクト
は
Airport
の
instance
では %n
VeryShortRunwayAirport
は
オブジェクト
の
attribute
では %n
オブジェクト
実数
オブジェクト
は
Runway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
length
は
実数
の
Meter
(s) では
実数
は 914 より
less
では %n
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
オブジェクト
は
AutomaticApplication
の
instance
では %n
オブジェクト
は
SoftwareSystem
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
StartupFn
オブジェクト
は
StartupFn
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
工程
は
Bleeding
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
工程
オブジェクト
は
Vein
の
instance
では %n
オブジェクト
は
Artery
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
工程
は
損害を与える
の
instance
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
オブジェクト
は
工程
の
patient
では %n
(=>
(
and
(
instance
?B
Breast
)
(
instance
?H
Human
)
(
part
?B ?H))
(
part
?B
(
FrontFn
?H)))
Mid-level-ontology.kif 12848-12854
オブジェクト
は
Breast
の
instance
では %n
自己接続オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
の
front
の
part
では %n
(=>
(
and
(
instance
?BITE
Biting
)
(
agent
?BITE ?ANIMAL))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
Mouth
)
(
part
?MOUTH ?ANIMAL)
(
instrument
?BITE ?MOUTH))))
Mid-level-ontology.kif 6515-6523
工程
は
Biting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
オブジェクト
は
Mouth
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 21395-21403
工程
は
Bleeding
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
エンティティー
は
血
の
instance
では %n
エンティティー
は
AutonomousAgent
の
part
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
part
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
工程
は
沸騰
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
Liquid
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Gas
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Cavitating
)
(
instance
?P
Pump
)
(
attribute
?P
DeviceOn
)
(
attribute
?L1
Liquid
)
(
contains
?P ?L1))
(
exists
(?PP ?L2)
(
and
(
part
?PP ?P)
(
hasPurpose
?PP
(
and
(
attribute
?L2
Liquid
)
(
meetsSpatially
?L2 ?PP)))
(
holdsDuring
(
WhenFn
?C)
(
not
(
exists
(?L3)
(
and
(
attribute
?L3
Liquid
)
(
meetsSpatially
?PP ?L3))))))))
Cars.kif 1741-1761
物理
は
Cavitating
の
instance
では %n
自己接続オブジェクト
は
Pump
の
instance
では %n
DeviceOn
は
自己接続オブジェクト
の
attribute
では %n
Liquid
は
オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
自己接続オブジェクト
P
エンティティー
自己接続オブジェクト
P は
自己接続オブジェクト
の
part
では %n
自己接続オブジェクト
P は
Liquid
は
エンティティー
の
attribute
では %n
エンティティー
は
自己接続オブジェクト
P と
meet
s %n{ない} の 目的 %n{ない}
エンティティー
Liquid
は
エンティティー
の
attribute
では %n
自己接続オブジェクト
P は
エンティティー
と
meet
s %n{ない} は
物理
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Chest
)
(
instance
?A
Animal
)
(
instance
?C ?A)
(
part
?C ?A))
(
exists
(?T)
(
and
(
instance
?T
Torso
)
(
part
?C ?T)
(
part
?T ?A))))
Mid-level-ontology.kif 11219-11229
オブジェクト
は
Chest
の
instance
では %n
クラス
は
動物
の
instance
では %n
オブジェクト
は
クラス
の
instance
では %n
オブジェクト
は
クラス
の
part
では %n
オブジェクト
オブジェクト
は
Torso
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
クラス
の
part
では %n
(=>
(
and
(
instance
?C
Chest
)
(
part
?C ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?C ?B)))
Anatomy.kif 1823-1830
オブジェクト
は
Chest
の
instance
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
back
と
equal
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11754-11769
工程
は
Choking
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
オブジェクト
and
オブジェクト
エンティティー
は
オブジェクト
の
instance
では %n
オブジェクト
は
Trachea
の
instance
では %n
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
エンティティー
は
オブジェクト
に
located
して %n
エンティティー
は
オブジェクト
に
located
して %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6056-6075
工程
は
Coughing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Lung
の
instance
では %n
エンティティー
は
Throat
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
は
AutonomousAgent
の
part
では %n
エンティティー
は
AutonomousAgent
の
part
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?C
Crawling
)
(
agent
?C ?A))
(
exists
(?ARM)
(
and
(
instance
?ARM
Arm
)
(
part
?ARM ?A)
(
instrument
?C ?ARM))))
Mid-level-ontology.kif 4391-4399
工程
は
Crawling
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
RM
AutonomousAgent
RM は
Arm
の
instance
では %n
AutonomousAgent
RM は
AutonomousAgent
の
part
では %n
AutonomousAgent
RM は
工程
の
instrument
では %n
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
工程
は
Cricothyroidotomy
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
は
HoleRegion
の
instance
では %n
エンティティー
は ホール
エンティティー
の
host
と
equal
では %n
エンティティー
は
Throat
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
exists
(?T ?E)
(
and
(
instance
?T
TearSubstance
)
(
origin
?C ?E)
(
objectTransferred
?C ?T)
(
instance
?E
Eye
)
(
part
?E ?H))))
emotion.kif 1129-1139
移動
は
Crying
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
オブジェクト
オブジェクト
オブジェクト
は
TearSubstance
の
instance
では %n
移動
は
オブジェクト
から
originate
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Eye
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
オブジェクト
は
Crystal
の
instance
では %n
MonoCrystalline
は
オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
物質
の
instance
では %n
Solid
は
自己接続オブジェクト
の
attribute
では %n
PolyCrystalline
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
物質
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
LNT
整数
and
オブジェクト
オブジェクト
LNT は
コレクション
の
instance
では %n
memberCount
オブジェクト
LNT and
整数
整数
は 4
greater
では %n
オブジェクト
は
オブジェクト
LNT の
member
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %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