holdsDuring
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
ImpairedBodyPartFn
クラス
は
オブジェクト
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
クラス
I は
クラス
の
instance
では %n
クラス
I は
オブジェクト
の
part
では %n
クラス
I は
公式
の 目的 %n{ない}
ステートメント
公式
には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
エンティティー
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
は
ChronicDisease
の
instance
では %n
時間間隔
の
duration
は
実数
では %n
実数
は 3 の
MonthDuration
(s) より
greater
では %n
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6470-6482
AVPUPainStatus
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
Pain
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
は
動作
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
AVPUVerbalStatus
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
Speaking
の
instance
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
工程
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
ChronicFatigueSyndrome
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
レクリエーションまたは運動
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
ステートメント
PostExertionalMalaise
は
AutonomousAgent
の
attribute
では %n は
時間間隔
2 の
during
holds %n{ない}
工程
の
time
の existence は
時間間隔
2 より
earlier
happens %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
起動
は
エンジニアリング部品
の
attribute
では %n は
物理
の
during
holds %n{ない}
HostReady
は
エンジニアリング部品
の
attribute
では %n は
物理
2 の
during
holds %n{ない}
物理
2 は
物理
の
time
の existence の すぐ
after
と
equal
では %n
エンジニアリング部品
は
ComputerDisplay
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
ステートメント
エンティティー
エンティティー
は
ホームスクリーン
の
instance
では %n
displayedUpon
エンティティー
and
エンジニアリング部品
には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 480-489
AutonomousAgent
が
Dead
は
エンティティー
の
attribute
では %n を
desire
s %n{ない} は
時間間隔
の
during
holds %n{ない}
AutonomousAgent
URDER は
Murder
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
URDER の
agent
では %n
エンティティー
は
AutonomousAgent
URDER の
patient
では %n
時間間隔
は
AutonomousAgent
URDER の
time
の existence より
earlier
happens %n{ない}
Premeditated
は
AutonomousAgent
URDER の
attribute
では %n
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
オブジェクト
の
measure
は
関数量
では %n は
時間位置
の
during
holds %n{ない}
engineIdleSpeed
InternalCombustionEngine
and
関数量
オブジェクト
は
Automobile
の
instance
では %n
InternalCombustionEngine
は
オブジェクト
の
part
では %n
オブジェクト
は
InternalCombustionEngine
の
part
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
時間位置
の
during
に takes %n{ない}
エンティティー
は
Pushing
の
instance
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
オブジェクト
の
part
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
エンティティー
は
オブジェクト
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
は
オブジェクト
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
Expellee
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
-NATION% の
citizen
では %n は
時間位置
の
during
holds %n{ない}
時間位置
は
時間間隔
の
instance
では %n
工程
オブジェクト
オブジェクト
は
国民
の
instance
では %n
オブジェクト
は
エンティティー
-NATION と
equal
では
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
-NATION に
end
s %n{ない}
時間位置
は
工程
の
time
の existence の
part
では %n
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
DislocatedCivilian
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
live
s %n{ない}
エンティティー
は
地理的地域
に
located
して %n は
時間間隔
の
during
holds %n{ない}
地理的地域
は
地理的地域
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
エンティティー
-PLACE and
エンティティー
-RES
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
-RES は
オブジェクト
の
instance
では %n
エンティティー
-PLACE は
地政学的地域
の
instance
では %n
エンティティー
-RES は
エンティティー
-PLACE に
located
して %n
地理的地域
は
エンティティー
-PLACE と
equal
では
エンティティー
は
エンティティー
-RES と
equal
では
geographicSubregion
地理的地域
and
エンティティー
-PLACE
geographicSubregion
エンティティー
-PLACE and
地理的地域
エンティティー
は
エンティティー
-RES に
live
s %n{ない} は
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23889-23903
Menopausal
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
実数
は (1 の
YearDuration
(s) +
時間間隔
の
beginning
) と
equal
では %n
時間間隔
は
時間間隔
と
時間間隔
の
beginning
の
interval
と
equal
では %n
工程
工程
は
Menstruation
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
Dieting
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Dieting
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds %n{ない}
オブジェクト
は
Meal
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
resource
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
Calorie
(s) では %n
オブジェクト
は
Meal
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
resource
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
Calorie
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
Evacuee
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
工程
AutonomousAgent
工程
は
Evacuation
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
MilitaryOrganization
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))
(
instance
?T1
TimeInterval
))
(
exists
(?SITUATION ?T0)
(
and
(
earlier
?T0 ?T1)
(
causesProposition
(
holdsDuring
?T0
(
fears
?P ?SITUATION))
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))))))
MilitaryPersons.kif 101-111
InternallyDisplacedPerson
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
エンティティー
時間間隔
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
causesProposition
fears
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない} and
InternallyDisplacedPerson
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
StatelessPerson
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
国民
の
instance
では %n
エンティティー
は
エンティティー
% の
citizen
では は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
legalRelation
?A1 ?A2))
(
instance
?A1
Organism
)
(
instance
?A2
Organism
))
(
holdsDuring
?T1
(
relative
?A1 ?A2)))
Merge.kif 16324-16329
エンティティー
と
エンティティー
間での
legal
relation
は %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
物
の
instance
では %n
エンティティー
は
物
の
instance
では %n
relative
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7562-7569
エンティティー
は
エンティティー
の
member
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
GroupOfPeople
の
instance
では %n
groupMember
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
本
の
subclass
では %n
BookPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
MusicalComposition
の
subclass
では %n
MusicPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
Newspaper
の
subclass
では %n
NewspaperPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
周期的
の
subclass
では %n
PeriodicalPublishers
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
エンティティー
は
クラス
を
publishe
s %n{ない} は
時間位置
の
during
holds %n{ない}
クラス
は
テキスト
の
subclass
では %n
InformationIndustries
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7972-7982
spouse
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
工程
工程
は
Wedding
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3836-3843
公式
は
時間間隔
の
during
holds %n{ない}
公式
は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
causesProposition
公式
and
公式
時間間隔
の
beginning
は
時間間隔
の
beginning
でもその前でも happens %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