modalAttribute
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
defaultMinimumMeasure
オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
測定単位
(s) では %n
実数
UANTITY は
実数
より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
defaultMinimumMeasure
オブジェクト
and
実数
の
測定単位
(s)
クラス
は
NonCompositeUnitOfMeasure
の
subclass
では %n
測定単位
は
クラス
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY and
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
エンティティー
(s) では %n
エンティティー
は
クラス
の
instance
では %n
実数
UANTITY は
実数
より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
defaultMinimumSphereRadius
オブジェクト
and
実数
の
測定単位
(s)
オブジェクト
は
オブジェクト
の
instance
では %n
Sphere
は
オブジェクト
の
attribute
では %n
ステートメント
実数
ADIUS
sphereRadius
オブジェクト
and
実数
ADIUS の
測定単位
(s)
実数
ADIUS は
実数
より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18463-18468
defaultValue
述語
,
正の整数
and
量
述語
@ARGS
エンティティー
は (@ARGS) の
正の整数
th
element
と
equal
では %n
ステートメント
量
は
エンティティー
と
equal
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
employs
?HOTEL ?ATHLETE)
(
attribute
?HOTEL
TravelerAccommodation
)
(
attribute
?ATHLETE
TennisProfessional
)
(
guest
?CUST ?HOTEL))
(
modalAttribute
(
exists
(?TENNIS ?LOC)
(
and
(
instance
?TENNIS
Tennis
)
(
contestParticipant
?TENNIS ?ATHLETE)
(
contestParticipant
?TENNIS ?CUST)
(
located
?TENNIS ?LOC)
(
located
?HOTEL ?LOC)))
Possibility
))
Hotel.kif 1522-1535
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
TennisProfessional
は
認識エージェント
の
attribute
では %n
guest
認識エージェント
and
AutonomousAgent
ステートメント
エンティティー
エンティティー
エンティティー
は
Tennis
の
instance
では %n
contestParticipant
エンティティー
and
認識エージェント
contestParticipant
エンティティー
and
認識エージェント
エンティティー
は
エンティティー
に
located
して %n
AutonomousAgent
は
エンティティー
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
工程
は
DoNetworkMessaging
の
instance
では %n
オブジェクト
は
工程
の
result
では %n
NSFW
は
オブジェクト
の
attribute
では %n
工程
は
見ること
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
認識エージェント
は
工程
の
agent
では %n
ステートメント
エンティティー
工程
は
エンティティー
を
cause
s %n{ない}
suffers
エンティティー
and
認識エージェント
には
Possibility
の
modal
force
が ある
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
工程
は
DoNetworkMessaging
の
instance
では %n
オブジェクト
は
工程
の
result
では %n
NSFW
は
オブジェクト
の
attribute
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
見ること
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
認識エージェント
は
工程
の
agent
では %n
ステートメント
認識エージェント
ROC
工程
は
認識エージェント
ROC を
cause
s %n{ない}
suffers
認識エージェント
ROC and
認識エージェント
には
Likely
の
modal
force
が ある
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
実数
の
MilesPerHour
(s) and
時間分
オブジェクト
は
Automobile
の
instance
では %n
工程
は
GasPedal
の
instance
では %n
工程
は
Pushing
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
InternalCombustionEngine
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Crankshaft
の
instance
では %n
オブジェクト
は
InternalCombustionEngine
の
part
では %n
オブジェクト
の
measure
は
RotationFn
エンティティー
の
MilesPerHour
(s) and
時間分
では %n は
工程
の
time
の existence の
during
holds %n{ない}
ステートメント
エンティティー
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
Hardwood
の
subclass
では %n
有機物
は
PlantStem
の
subclass
では %n
ステートメント
initialPart
有機物
and
DeciduousTree
には
Likely
の
modal
force
が ある
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
Softwood
の
subclass
では %n
有機物
は
PlantStem
の
subclass
では %n
ステートメント
initialPart
有機物
and
Conifers
には
Likely
の
modal
force
が ある
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
facility
AutonomousAgent
and
オブジェクト
customer
認識エージェント
and
AutonomousAgent
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
は
意図的なプロセス
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
の
agent
では %n を
desire
s %n{ない}
ステートメント
AutonomousAgent
は
認識エージェント
が
認識エージェント
は
エンティティー
を
use
s %n{ない} のタスクを実行することはを
allow
s %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
物理
エンティティー
は
HotelFunctionRoom
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
エンティティー
に
end
s %n{ない}
物理
は
オブジェクト
の
subclass
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
物理
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
resource
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
governmentType
AutonomousAgent
and
Monarchy
物
は
人[人間]
の
instance
では %n
物
は
人[人間]
の
instance
では %n
chiefOfState
AutonomousAgent
,
エンティティー
and
物
は
時間間隔
の
during
holds %n{ない}
物
と
物
は
related
して %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
ステートメント
chiefOfState
AutonomousAgent
,
エンティティー
and
物
は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
hasAccount
認識エージェント
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
認識エージェント
は
password
ComputerPassword
and
UserAccount
を
know
ない
認識エージェント
は
recoveryKey
エンティティー
and
UserAccount
を
know
s %n{ない}
認識エージェント
は
Computer
を
possess
es %n{ない}
ステートメント
エンティティー
エンティティー
は
ChangingPassword
の
instance
では %n
UserAccount
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?PI))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PI)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?A)))
Likely
))
emotion.kif 161-172
感情状態
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
actionTendency
感情状態
and
EmotionalBehavioralProcess
ステートメント
エンティティー
エンティティー
は
EmotionalBehavioralProcess
の
instance
では %n
エンティティー
の
time
の existence は
時間位置
の
during
に takes %n{ない}
エンティティー
が
エンティティー
を
experience
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
instance
?B
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?A1
(
AdditionFn
49 ?Y))
(
equal
?A2
(
AdditionFn
52 ?Y))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23916-23932
Menopausal
は
人[人間]
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
実数
は (49 +
整数
) と
equal
では %n
実数
は (52 +
整数
) と
equal
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
ステートメント
時点
は
実数
より
greater
では %n
実数
は
時点
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
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
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
(
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
?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
(
instance
?A
Anaphylaxis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
causes
?A ?D)))
Possibility
))
Medicine.kif 1545-1555
工程
は
Anaphylaxis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ステートメント
エンティティー
エンティティー
は
死
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
工程
は
エンティティー
を
cause
s %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
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
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
工程
は
RheumatoidArthritis
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ステートメント
エンティティー
エンティティー
は
JointPain
の
instance
では %n
工程
は
エンティティー
を
cause
s %n{ない} には
Likely
の
modal
force
が ある
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