attribute
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29507-29519
如果
Collectible
是
客体
的
attribute
和
那个 客体
的 目的 是
公式
,
然后 有存在
有认知的主事
和
那个 公式
2 这样
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
wants
那个 客体
和
那个 有认知的主事
desires
那个 公式
2 和
那个 公式
2
entails
那个 有认知的主事
possesses
那个 客体
和
那个 公式
不
equal
那个 公式
2
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29458-29463
如果
DeviceDamaged
是
客体
的
attribute
和
那个 客体
的 目的 是
公式
,
然后
那个 公式
的声明 doesn't have
可能性
的语气
(=>
(
and
(
attribute
?D
DeviceNormal
)
(
hasPurpose
?D ?F))
(
modalAttribute
?F
Possibility
))
Mid-level-ontology.kif 29431-29435
如果
DeviceNormal
是
客体
的
attribute
和
那个 客体
的 目的 是
公式
,
然后
那个 公式
的声明 has
可能性
的语气
(=>
(
and
(
attribute
?DEVICE ?ATTRIBUTE)
(
instance
?ATTRIBUTE
DeviceAttribute
))
(
instance
?DEVICE
Device
))
Mid-level-ontology.kif 1833-1837
如果
属性
是
客体
的
attribute
和
那个 属性
是
设备属性
的
instance
,
然后
那个 客体
是
设备
的
instance
(=>
(
and
(
attribute
?DEVICE
Functioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
True
))
Mid-level-ontology.kif 1844-1848
如果
功能
是
客体
的
attribute
和
那个 客体
的 目的 是
公式
,
然后
那个 公式
是
真正
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1854-1858
如果
故障
是
客体
的
attribute
和
那个 客体
的 目的 是
公式
,
然后
那个 公式
是
假
(=>
(
and
(
attribute
?EXP ?ATTR)
(
instance
?ATTR
ExperimentAttribute
))
(
instance
?EXP
Experimenting
))
UXExperimentalTerms.kif 4407-4411
如果
属性
是
客体
的
attribute
和
那个 属性
是
ExperimentAttribute
的
instance
,
然后
那个 客体
是
试验
的
instance
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
如果
DecafAttribute
是
物质
的
attribute
和
那个 物质
是
Food
的
instance
,
然后 不存在
另一个 物质
这样
那个 另外 物质
是
Caffeine
的
instance
和
那个 另外 物质
是
那个 物质
的
piece
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
如果
FamilyStylePortion
是
客体
的
attribute
和
那个 客体
的
measure
是
实数
测量单位
和
FamilyStylePortion
不 是
另一个 客体
的
attribute
和
那个 另外 客体
的
measure
是
另一个 实数
那个 测量单位
和
那个 客体
是
类
的
instance
和
那个 另外 客体
是
那个 类
的
instance
和
那个 测量单位
是
测量单位
的
instance
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
attribute
?H ?D)
(
diseaseTreatment
?D ?P)
(
instance
?TP
TherpeuticProcess
)
(
agent
?TP ?DOC)
(
patient
?TP ?H)
(
attribute
?DOC
MedicalDoctor
))
(
modalAttribute
(
instance
?TP ?P)
Possibility
))
Medicine.kif 5824-5834
如果
疾病或综合症
是
客体
的
attribute
和
diseaseTreatment
那个 疾病或综合症
and
有点 治疗过程
和
过程
是
TherpeuticProcess
的
instance
和
那个 疾病或综合症
OC 是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
医生
是
那个 疾病或综合症
OC 的
attribute
,
然后
那个 过程
是
有点 治疗过程
的
instance
的声明 has
可能性
的语气
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
如果
Anemia
是
客体
的
attribute
和
另一个 客体
是
血液
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
女
是
那个 客体
的
attribute
和
那个 另外 客体
的
measure
是 0.1
升
和
那个 客体
E 是
Hemoglobin
的
instance
和
那个 客体
E 是
那个 另外 客体
的
part
和
那个 客体
E2 不 是
Hemoglobin
的
instance
和
那个 客体
E 不
equal
那个 客体
E2 和
那个 客体
2 是
那个 另外 客体
的
part
和
那个 客体
E 的
measure
是
实数
公克
,
然后
那个 实数
是
lessThan
12
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
如果
Anemia
是
客体
的
attribute
和
另一个 客体
是
血液
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
男
是
那个 客体
的
attribute
和
那个 另外 客体
的
measure
是 0.1
升
和
那个 客体
E 是
Hemoglobin
的
instance
和
那个 客体
E 是
那个 另外 客体
的
part
和
那个 客体
E2 不 是
Hemoglobin
的
instance
和
那个 客体
E 不
equal
那个 客体
E2 和
那个 客体
2 是
那个 另外 客体
的
part
和
那个 客体
E 的
measure
是
实数
公克
,
然后
那个 实数
是
lessThan
13
(=>
(
and
(
attribute
?H
Healthy
)
(
restingBreathingRate
?H ?R))
(
and
(
greaterThanOrEqualTo
?R 12)
(
greaterThanOrEqualTo
16 ?R)))
Medicine.kif 359-365
如果
Healthy
是
哺乳动物
的
attribute
和
restingBreathingRate
那个 哺乳动物
and
整数
,
然后
那个 整数
是
greaterThanOrEqualTo
12 和 16 是
greaterThanOrEqualTo
那个 整数
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
如果
穆斯林
是
施事体
的
attribute
和 属于
那个 施事体
的资产值
equal
货币测量
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
, and 和
第五 实体
这样
那个 实体
是
天课
的
instance
和
那个 第四 实体
是
年
的
instance
和
那个 第四 实体
在
那个 施事体
出现 的
time
时段内发生 和
完全成型
是
那个 施事体
的
attribute
在
那个 第四 实体
holdsDuring
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
的价值 是
那个 第五 实体
那个 第三 实体
和
那个 第三 实体
是
UnitOfCurrency
的
instance
和
那个 第五 实体
是
greaterThan
那个 货币测量
和 0.025 的声明 has
义务
的语气
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
如果
ADHD
是
施事体
的
attribute
和
ADHD
不 是
另一个 施事体
的
attribute
和
那个 施事体
不
equal
那个 另外 施事体
和
过程
是
类
的
instance
和
另一个 过程
是
那个 类
的
instance
和
那个 类
是
有意图的心理过程
的
subclass
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
的
duration
是
持续时间
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 持续时间
,
然后
那个 另外 持续时间
是
greaterThan
那个 持续时间
的声明 has
容易
的语气
(=>
(
and
(
attribute
?I
Inhabited
)
(
instance
?I
Region
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?I))))
Mid-level-ontology.kif 30120-30127
如果
Inhabited
是
客体
的
attribute
和
那个 客体
是
地区
的
instance
,
然后 有存在
生物
这样
那个 生物
是
人类
的
instance
和
那个 生物
住在
那个 客体
(=>
(
and
(
attribute
?INDIVIDUAL ?CH)
(
instance
?CH
Christian
))
(
member
?INDIVIDUAL
Christianity
))
People.kif 795-799
如果
属性
是
客体
的
attribute
和
那个 属性
是
基督教
的
instance
,
然后
那个 客体
是
基督教
的
member
(=>
(
and
(
attribute
?LISTING ?ATTRIBUTE)
(
instance
?ATTRIBUTE
ListingAttribute
))
(
instance
?LISTING
WebListing
))
UXExperimentalTerms.kif 299-303
如果
属性
是
客体
的
attribute
和
那个 属性
是
ListingAttribute
的
instance
,
然后
那个 客体
是
WebListing
的
instance
(=>
(
and
(
attribute
?M
DemoRecording
)
(
instance
?M
Recording
))
(
hasPurpose
?M
(
exists
(?D ?G ?MUSIC)
(
and
(
instance
?D
Demonstrating
)
(
record
?M ?MUSIC)
(
patient
?D ?MUSIC)
(
destination
?D ?G)
(
instance
?G
GroupOfPeople
)))))
Music.kif 408-419
如果
DemoRecording
是
客体
的
attribute
和
那个 客体
是
Recording
的
instance
,
然后
那个 客体
的 目的 是 有存在
实体
,
另一个 实体
, and 和
那个 客体
USIC 这样
那个 实体
是
示范
的
instance
和
那个 客体
是个
那个 客体
USIC 的
record
和
那个 客体
USIC 是
那个 实体
的
patient
和
那个 实体
在
那个 另外 实体
结束 和
那个 另外 实体
是
一群人
的
instance
(=>
(
and
(
attribute
?M
LiveRecording
)
(
instance
?M
Recording
))
(
exists
(?P)
(
and
(
instance
?P
Performance
)
(
record
?M ?P))))
Music.kif 378-385
如果
LiveRecording
是
有内用物体
的
attribute
和
那个 有内用物体
是
Recording
的
instance
,
然后 有存在
物理
这样
那个 物理
是
性能
的
instance
和
那个 有内用物体
是个
那个 物理
的
record
(=>
(
and
(
attribute
?M
MashupRecording
)
(
instance
?M
Recording
))
(
exists
(?M1 ?M2 ?S1 ?S2)
(
and
(
musicInterpretation
?M1 ?S1)
(
musicInterpretation
?M2 ?S2)
(
not
(
equal
?S1 ?S2))
(
part
?M1 ?M)
(
part
?M2 ?M))))
Music.kif 426-436
如果
MashupRecording
是
客体
的
attribute
和
那个 客体
是
Recording
的
instance
,
然后 有存在
那个 客体
1,
那个 客体
2,, ,
音乐
, and 和
另一个 音乐
这样
那个 客体
1 是
那个 音乐
的
recording
和
那个 客体
2 是
那个 另外 音乐
的
recording
和
那个 音乐
不
equal
那个 另外 音乐
和
那个 客体
1 是
那个 客体
的
part
和
那个 客体
2 是
那个 客体
的
part
(=>
(
and
(
attribute
?M
RemixRecording
)
(
instance
?M
MusicRecording
))
(
exists
(?O ?A)
(
equal
?M
(
RemixFn
?O ?A))))
Music.kif 444-449
如果
RemixRecording
是
音乐录音
的
attribute
和
那个 音乐录音
是
音乐录音
的
instance
,
然后 有存在
另一个 音乐录音
和
有认知的主事
这样
那个 音乐录音
equal
那个 另外 音乐录音
的
remix
由
那个 有认知的主事
(=>
(
and
(
attribute
?M
StudioRecording
)
(
instance
?M
Recording
))
(
exists
(?P ?S)
(
and
(
record
?M ?P)
(
eventLocated
?P ?S)
(
instance
?S
RecordingStudio
))))
Music.kif 392-400
如果
StudioRecording
是
有内用物体
的
attribute
和
那个 有内用物体
是
Recording
的
instance
,
然后 有存在
过程
和
客体
这样
那个 有内用物体
是个
那个 过程
的
record
和
那个 过程
是
located
在
那个 客体
和
那个 客体
是
RecordingStudio
的
instance
(=>
(
and
(
attribute
?MILITARY
PeaceState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
SecretaryOfDefense
))
MilitaryPersons.kif 461-466
如果
和平国家
是
机构
的
attribute
和
那个 机构
是
军事组织
的
instance
和
地位
是
那个 机构
的
leader
职位,
然后
那个 机构
是 对于 %3 的
subordinate
职位
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
如果
战争状态
是
机构
的
attribute
和
那个 机构
是
军事组织
的
instance
和
地位
是
那个 机构
的
leader
职位,
然后
那个 机构
是 对于 %3 的
subordinate
职位
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