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 13504-13513
如果
有点 客体
的
minimum
预期价值是
实数
测量单位
和
那个 测量单位
是
CompositeUnitOfMeasure
的
instance
,
然后 有存在
实体
和
那个 实数
UANTITY 这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 测量单位
和
那个 实数
UANTITY 是
lessThan
那个 实数
的声明 has
较不可能
的语气
(=>
(
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 13515-13526
如果
有点 客体
的
minimum
预期价值是
实数
测量单位
和
类
是
NonCompositeUnitOfMeasure
的
subclass
和
那个 测量单位
是
那个 类
的
instance
,
然后 有存在
实体
,
那个 实数
UANTITY, and 和
第三 实体
这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 第三 实体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 实数
UANTITY 是
lessThan
那个 实数
的声明 has
较不可能
的语气
(=>
(
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 13466-13476
如果
有点 客体
的
minimum
预期半径是
实数
测量单位
和
另一个 客体
是
有点 客体
的
instance
和
球
是
那个 另外 客体
的
attribute
,
然后 有存在
那个 实数
ADIUS 这样
那个 另外 客体
的
radius
是
那个 实数
ADIUS
那个 测量单位
和
那个 实数
ADIUS 是
lessThan
那个 实数
的声明 has
较不可能
的语气
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18485-18490
如果
defaultValue
谓语
,
正整数
and
数量
和
那个 谓语
@ARGS 和
另一个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 数量
equal
那个 另外 实体
的声明 has
容易
的语气
(=>
(
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
如果
施事体
employs
有认知的主事
和
旅客住宿
是
那个 施事体
的
attribute
和
TennisProfessional
是
那个 有认知的主事
的
attribute
和
另一个 有认知的主事
是在
那个 施事体
的
guest
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
Tennis
的
instance
和
那个 有认知的主事
participates
在
那个 实体
和
那个 另外 有认知的主事
participates
在
那个 实体
和
那个 实体
是
located
在
那个 另外 实体
和
那个 施事体
是
located
在
那个 另外 实体
的声明 has
可能性
的语气
(=>
(
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
如果
施事体
employs
有认知的主事
和
过程
是
DoNetworkMessaging
的
instance
和
客体
是
那个 过程
的
result
和
NSFW
是
那个 客体
的
attribute
和
另一个 过程
是
看
的
instance
和
那个 客体
是
那个 另外 过程
的
patient
和
那个 有认知的主事
是
那个 另外 过程
的
agent
,
然后 有存在
实体
这样
那个 另外 过程
causes
那个 实体
和
那个 有认知的主事
suffers
从
那个 实体
的声明 has
可能性
的语气
(=>
(
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
如果
施事体
employs
有认知的主事
和
那个 施事体
employs
另一个 有认知的主事
和
过程
是
DoNetworkMessaging
的
instance
和
客体
是
那个 过程
的
result
和
NSFW
是
那个 客体
的
attribute
和
那个 有认知的主事
是
那个 过程
的
agent
和
另一个 过程
是
看
的
instance
和
那个 客体
是
那个 另外 过程
的
patient
和
那个 另外 有认知的主事
是
那个 另外 过程
的
agent
,
然后 有存在
那个 有认知的主事
ROC 这样
那个 过程
causes
那个 有认知的主事
ROC 和
那个 有认知的主事
suffers
从
那个 有认知的主事
ROC 的声明 has
容易
的语气
(=>
(
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 2591-2609
如果
engineIdleSpeed
内燃机
and
RotationFn
实数
英里每小時
and
持续时间
和
客体
是
汽车
的
instance
和
过程
是
GasPedal
的
instance
和
那个 过程
是
Pushing
的
instance
和
那个 过程
在
另一个 客体
结束 和
那个 内燃机
是
那个 客体
的
part
和
那个 另外 客体
是
那个 客体
的
part
和
第三 客体
是
Crankshaft
的
instance
和
那个 第三 客体
是
那个 内燃机
的
part
和
那个 第三 客体
的
measure
是
RotationFn
实体
英里每小時
and
那个 持续时间
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 实体
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
Hardwood
的
subclass
和
有点 有机物体
是
PlantStem
的
subclass
,
然后 %每个
那个 有点 有机物体
是
DeciduousTree
的
initially
part
的声明 has
容易
的语气
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
Softwood
的
subclass
和
有点 有机物体
是
PlantStem
的
subclass
,
然后 %每个
那个 有点 有机物体
是
Conifers
的
initially
part
的声明 has
容易
的语气
(=>
(
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
如果
施事体
provides
客体
和
那个 施事体
是
有认知的主事
的
customer
和
实体
是
那个 客体
的
instance
和
那个 有认知的主事
desires
有存在
另一个 实体
这样
那个 另外 实体
是
有意图过程
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
,
然后
那个 施事体
允许
那个 有认知的主事
执行
那个 有认知的主事
uses
那个 实体
的任务 的声明 has
可能性
的语气
(=>
(
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
如果
有点 物理
的使用对于
有点 HotelFunctionRoom
是免费 和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
在
另一个 实体
结束 和
有点 物理
是
客体
的
subclass
,
然后 有存在
第三 实体
和
第四 实体
这样
那个 第三 实体
是
那个 有点 物理
的
instance
和
那个 第四 实体
是
过程
的
instance
和
那个 第三 实体
是
那个 第四 实体
的
resource
或
那个 第三 实体
是导致
那个 第四 实体
的
instrument
或
那个 第三 实体
是
那个 第四 实体
的
patient
和
那个 另外 实体
是
那个 第四 实体
的
agent
或
那个 另外 实体
经历了
那个 第四 实体
的声明 has
可能性
的语气
(=>
(
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
如果 %2 是 1% 的
government
类别 和
生物
是
人类
的
instance
和
另一个 生物
是
人类
的
instance
和
施事体
州
实体
的
chief
对于
那个 生物
在
时距
holdsDuring
和
那个 生物
和
那个 另外 生物
是 亲属 和
那个 时距
比
另一个 实体
earlier
,
然后
那个 施事体
州
那个 实体
的
chief
对于
那个 另外 生物
在
另一个 时距
holdsDuring
的声明 has
可能性
的语气
(=>
(
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
如果
有认知的主事
有
account
用户帐号
和
那个 用户帐号
有
password
电脑密码
和
deviceAccount
那个 用户帐号
and
电脑
和
那个 有认知的主事
doesn't
knows
那个 用户帐号
有
password
那个 电脑密码
和
那个 有认知的主事
knows
recoveryKey
实体
and
那个 用户帐号
和
那个 有认知的主事
possesses
那个 电脑
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
ChangingPassword
的
instance
和
那个 用户帐号
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
的声明 has
可能性
的语气
(=>
(
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
在
时间位置
holdsDuring
和
actionTendency
那个 情绪状态
and
有点 EmotionalBehavioralProcess
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
有点 EmotionalBehavioralProcess
的
instance
和
那个 另外 实体
出现 的
time
在
那个 时间位置
时段内发生 和
那个 实体
经历了
那个 另外 实体
的声明 has
容易
的语气
(=>
(
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 23915-23931
如果
Menopausal
是
人类
的
attribute
在
时距
holdsDuring
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
和
实数
equal
(49 和
整数
) 和
另一个 实数
equal
(52 和
那个 整数
) 和
时点
equal
那个 时距
的开始,
然后
那个 时点
是
greaterThan
那个 实数
和
那个 另外 实数
是
greaterThan
那个 时点
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18247-18257
如果
ImpairedBodyPartFn
类
是
客体
的
attribute
在
时间位置
holdsDuring
和
那个 类
I 是
那个 类
的
instance
和
那个 类
I 是
那个 客体
的
part
和
那个 类
I 的 目的 是
公式
,
然后
那个 公式
的声明 has
容易
的语气
(=>
(
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
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
娱乐或锻炼
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
出现 的
time
在
那个 时距
时段内发生,
然后
PostExertionalMalaise
是
那个 施事体
的
attribute
在
那个 时距
2
holdsDuring
和
那个 过程
出现 的
time
比
那个 时距
2发生的
earlier
的声明 has
容易
的语气
(=>
(
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
在
物理
holdsDuring
和
准备好主持
是
那个 工程组件
的
attribute
在
那个 物理
2
holdsDuring
和
那个 物理
2
equal
紧接
那个 物理
出现 的
time
after
和
另一个 工程组件
是
ComputerDisplay
的
instance
和
那个 另外 工程组件
是 和
那个 工程组件
connected
,
然后 有存在
实体
这样
那个 实体
是
主頁面
的
instance
和
那个 实体
是在
那个 另外 工程组件
displayed
的声明 has
容易
的语气
(=>
(
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 2573-2589
如果
客体
的
measure
是
函数量
在
时间位置
holdsDuring
和
engineIdleSpeed
内燃机
and
那个 函数量
和
另一个 客体
是
汽车
的
instance
和
那个 内燃机
是
那个 另外 客体
的
part
和
那个 客体
是
那个 内燃机
的
part
,
然后 不存在
实体
和
另一个 实体
这样
那个 实体
在
那个 时间位置
时段内发生 和
那个 实体
是
Pushing
的
instance
和
那个 实体
在
那个 另外 实体
结束 和
那个 另外 实体
是
那个 另外 客体
的
part
的声明 has
容易
的语气
(=>
(
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 30650-30671
如果
Dieting
是
施事体
的
attribute
在
时距
holdsDuring
和
Dieting
不 是
那个 施事体
的
attribute
在
另一个 时距
holdsDuring
和
客体
是
Meal
的
instance
和
过程
是
进食
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
resource
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
的
measure
是
实数
卡路里
和
另一个 客体
是
Meal
的
instance
和
另一个 过程
是
进食
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 客体
是
那个 另外 过程
的
resource
和
那个 另外 过程
出现 的
time
在
那个 另外 时距
时段内发生 和
那个 另外 客体
的
measure
是
另一个 实数
卡路里
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
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
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
死亡
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 过程
causes
那个 实体
的声明 has
可能性
的语气
(=>
(
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
和
那个 客体
是导致
过程
的
instrument
和
那个 过程
是
测量
的
instance
和
另一个 客体
是
那个 过程
的
patient
和
第三 客体
是
COVIDAntibody
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
,
然后
那个 另外 客体
knows
有存在
那个 第三 客体
这样
那个 第三 客体
是
COVIDAntibody
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
的声明 has
容易
的语气
(=>
(
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
如果
施事体
是
Biped
的
instance
和
过程
是
走动
的
instance
和
那个 施事体
是
那个 过程
的
agent
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
腿
的
instance
和
那个 另外 实体
是
腿
的
instance
和
那个 实体
是
那个 施事体
的
part
和
那个 另外 实体
是
那个 施事体
的
part
和
那个 实体
是导致
那个 过程
的
instrument
和
那个 另外 实体
是导致
那个 过程
的
instrument
的声明 has
容易
的语气
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
如果
过程
是
RheumatoidArthritis
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
JointPain
的
instance
和
那个 过程
causes
那个 实体
的声明 has
容易
的语气
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