not
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 738-753
如果
命题
agreement
对于
另一个 命题
的修改日期
有点 时间位置
,
然后 有存在
另一个 时间位置
这样
那个 另外 时间位置
是
有点 时间位置
的
instance
和
那个 另外 命题
不 是
那个 命题
的
subProposition
在 紧接
那个 另外 时间位置
before
holdsDuring
和
那个 另外 命题
是
那个 命题
的
subProposition
在 紧接
那个 另外 时间位置
after
holdsDuring
或
那个 另外 命题
是
那个 命题
的
subProposition
在 紧接
那个 另外 时间位置
before
holdsDuring
和
那个 另外 命题
不 是
那个 命题
的
subProposition
在 紧接
那个 另外 时间位置
after
holdsDuring
(=>
(
albumRelease
?A ?T)
(
and
(
exists
(?R1 ?DS1)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS1) ?R1 ?T))
(
not
(
exists
(?B ?R2 ?DS2)
(
and
(
before
?B ?T)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS2) ?R2 ?B))))))
Music.kif 261-270
如果
Album
之前是在
时点
被
released
,
然后 有存在
地理区域
和
有点 DataStorageDevice
这样
那个 Album
在
有点 DataStorageDevice
的
set
复制 是
released
对于
sale
在
那个 地理区域
位于
那个 时点
和 不存在
另一个 时点
,
另一个 地理区域
, and 和
另一个 有点 DataStorageDevice
这样
那个 另外 时点
%n在
那个 时点
before
发生 和
那个 Album
在
另一个 有点 DataStorageDevice
的
set
复制 是
released
对于
sale
在
那个 另外 地理区域
位于
那个 另外 时点
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
如果
AppraisalAsJustTreatment
是
有认知的主事
的
attribute
和
那个 有认知的主事
JT 是
AppraisalProcess
的
instance
和
那个 有认知的主事
是
那个 有认知的主事
JT 的
agent
,
然后 有存在
另一个 过程
和
那个 有认知的主事
2 这样
那个 另外 过程
是
过程
的
instance
和
那个 有认知的主事
JT 提到
那个 另外 过程
和
那个 有认知的主事
2 是
那个 另外 过程
的
agent
和
那个 有认知的主事
不
equal
那个 有认知的主事
2 和
那个 有认知的主事
是
那个 另外 过程
的
patient
和
那个 有认知的主事
wants
那个 另外 过程
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
如果
AppraisalAsUnjustTreatment
是
有认知的主事
的
attribute
和
那个 有认知的主事
UJ 是
AppraisalProcess
的
instance
和
那个 有认知的主事
是
那个 有认知的主事
UJ 的
agent
,
然后 有存在
另一个 过程
和
那个 有认知的主事
2 这样
那个 另外 过程
是
过程
的
instance
和
那个 有认知的主事
UJ 提到
那个 另外 过程
和
那个 有认知的主事
2 是
那个 另外 过程
的
agent
和
那个 有认知的主事
不
equal
那个 有认知的主事
2 和
那个 有认知的主事
是
那个 另外 过程
的
patient
和
那个 有认知的主事
doesn't
wants
那个 另外 过程
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
如果
配音演员
是
施事体
的
attribute
和
过程
是
戏剧表演
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
另一个 过程
是
语言交流
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
%n是
那个 过程
的
subProcess
,
然后 不存在
第三 过程
和
另一个 施事体
这样
那个 第三 过程
是
看
的
instance
和
那个 施事体
是
那个 第三 过程
的
patient
和
那个 另外 施事体
是
那个 第三 过程
的
agent
和 有存在
第四 过程
和
那个 另外 施事体
这样
那个 第四 过程
是
听
的
instance
和
那个 施事体
是
那个 第四 过程
的
patient
和
那个 另外 施事体
是
那个 第四 过程
的
agent
(=>
(
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
?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
?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
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
如果
CoverRecording
是
音乐录音
的
attribute
和
那个 音乐录音
是
音乐录音
的
instance
和
有认知的主事
是
performer
在
那个 音乐录音
和
那个 音乐录音
是
音乐
的
recording
和
那个 音乐录音
是个
那个 音乐
M 的
record
,
然后 有存在
另一个 音乐录音
,
那个 有认知的主事
RTIST, and 和
那个 音乐
USIC 这样
那个 另外 音乐录音
是
那个 音乐
的
recording
和
那个 有认知的主事
RTIST 是
performer
在
那个 另外 音乐录音
和
那个 有认知的主事
不
equal
那个 有认知的主事
RTIST 和
那个 另外 音乐录音
是个
那个 音乐
USIC 的
record
和
那个 音乐
USIC 出现 的
time
%n在
那个 音乐
M 出现 的
time
before
发生
(=>
(
and
(
attribute
?SYLLABLE
Stressed
)
(
instance
?WORD
Word
)
(
part
?SYLLABLE ?WORD))
(
not
(
exists
(?SYLLABLE2)
(
and
(
instance
?SYLLABLE2
Syllable
)
(
part
?SYLLABLE2 ?WORD)
(
attribute
?SYLLABLE2
Stressed
)
(
not
(
equal
?SYLLABLE2 ?SYLLABLE))))))
Mid-level-ontology.kif 19443-19453
如果
强调
是
客体
的
attribute
和
另一个 客体
是
字词
的
instance
和
那个 客体
是
那个 另外 客体
的
part
,
然后 不存在
那个 客体
2 这样
那个 客体
2 是
音节
的
instance
和
那个 客体
2 是
那个 另外 客体
的
part
和
强调
是
那个 客体
2 的
attribute
和
那个 客体
2 不
equal
那个 客体
(=>
(
and
(
attribute
?U
Uninhabited
)
(
instance
?U
Region
))
(
not
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?U)))))
Mid-level-ontology.kif 30104-30112
如果
Uninhabited
是
客体
的
attribute
和
那个 客体
是
地区
的
instance
,
然后 不存在
生物
这样
那个 生物
是
人类
的
instance
和
那个 生物
住在
那个 客体
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
如果
CommunalAttribute
是
客体
的
attribute
和
那个 客体
是
表
的
instance
和
过程
是
进食
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
一群人
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
实体
,
另一个 实体
, and 和
那个 客体
2 这样
那个 另外 实体
是
进食
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 施事体
不
equal
那个 实体
和
那个 实体
是
一群人
的
instance
和
那个 另外 实体
是
located
在
那个 客体
2 和
那个 过程
出现 的
time
接着
那个 另外 实体
出现 的
time
和
那个 客体
equal
那个 客体
2 的声明 has
可能性
的语气
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Product
))
(
not
(
exists
(?DUTY)
(
and
(
instance
?DUTY
DutyTax
)
(
patient
?DUTY ?X)))))
Hotel.kif 1466-1474
如果
DutyFree
是
客体
的
attribute
和
那个 客体
是
产品
的
instance
,
然后 不存在
过程
这样
那个 过程
是
关税
的
instance
和
那个 客体
是
那个 过程
的
patient
(=>
(
and
(
attribute
?X
Multilingual
)
(
instance
?SPEAK
Speaking
)
(
agent
?SPEAK ?X))
(
modalAttribute
(
exists
(?LANG1 ?LANG2)
(
and
(
instance
?LANG1
SpokenHumanLanguage
)
(
instance
?LANG2
SpokenHumanLanguage
)
(
not
(
equal
?LANG1 ?LANG2))
(
or
(
patient
?SPEAK ?LANG1)
(
patient
?SPEAK ?LANG2))))
Possibility
))
Mid-level-ontology.kif 25748-25761
如果
Multilingual
是
施事体
的
attribute
和
过程
是
说话
的
instance
和
那个 施事体
是
那个 过程
的
agent
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
口语人类语言
的
instance
和
那个 另外 实体
是
口语人类语言
的
instance
和
那个 实体
不
equal
那个 另外 实体
和
那个 实体
是
那个 过程
的
patient
或
那个 另外 实体
是
那个 过程
的
patient
的声明 has
可能性
的语气
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1003-1014
如果
Suite
是
客体
的
attribute
和
那个 客体
是
HotelUnit
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
HotelRoom
的
instance
和
那个 第三 客体
是
HotelRoom
的
instance
和
那个 另外 客体
在
那个 客体
的
内
和
那个 第三 客体
在
那个 客体
的
内
和
那个 另外 客体
不
equal
那个 第三 客体
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
如果
breathingRate
施事体
,
时距
and
整数
和
那个 时距
是
分钟
的
instance
和 不存在
那个 整数
这样
那个 整数
是
娱乐或锻炼
的
instance
和
那个 施事体
是
那个 整数
的
agent
和
那个 时距
在
那个 整数
出现 的
time
时段内发生 和
人类成人
是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
和
那个 整数
是
greaterThan
16 或
那个 整数
是
lessThan
12,
然后
Healthy
不 是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
如果
正整数
day
是
有点 假日
的
commemorates
日期 和
时距
是
有点 假日
的
instance
和
另一个 时距
是
整数
year
的
instance
,
然后
那个 时距
doesn't 比
那个 另外 时距
发生的
earlier
(=>
(
and
(
connectedBodyPartTypes
?P1 ?P2 ?O)
(
instance
?OC ?O)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?PC1 ?PC2)
(
and
(
instance
?PC1 ?P1)
(
instance
?PC2 ?P2)
(
not
(
equal
?PC1 ?PC2))
(
part
?PC1 ?OC)
(
part
?PC2 ?OC)
(
connected
?PC1 ?PC2))))
Anatomy.kif 32-46
如果
connectedBodyPartTypes
有点 身体部位
,
另一个 有点 身体部位
and
有点 生物
和
有点 生物
C 是
那个 有点 生物
的
instance
和
疾病或综合症
不 是
另一个 客体
的
attribute
,
然后 有存在
第三 客体
和
第四 客体
这样
那个 第三 客体
是
有点 身体部位
的
instance
和
那个 第四 客体
是
另一个 有点 身体部位
的
instance
和
那个 第三 客体
不
equal
那个 第四 客体
和
那个 第三 客体
是
那个 有点 生物
C 的
part
和
那个 第四 客体
是
那个 有点 生物
C 的
part
和
那个 第三 客体
和
那个 第四 客体
是
connected
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
如果 @ROW 是 的相反 和
属性
equal
(@ROW) 的第
正整数
几个元素 和
另一个 属性
equal
(@ROW) 的第
另一个 正整数
几个元素 和
那个 正整数
不
equal
那个 另外 正整数
和
另一个 实体
有
那个 属性
的
attribute
,
然后
那个 另外 实体
不 有
那个 另外 属性
的
attribute
(=>
(
and
(
defenseLawyer
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
not
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L)))))))
Law.kif 295-306
如果
defenseLawyer
法律诉讼
and
有认知的主事
和
另一个 有认知的主事
是在
那个 法律诉讼
的
defendant
,
然后
那个 有认知的主事
desires
不存在
实体
这样
那个 实体
是
法律决定
的
instance
和
那个 实体
提到
那个 法律诉讼
和
那个 另外 有认知的主事
doesn't
wants
那个 实体
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
如果
客体
是
机构
的财产 的
element
和
AnnexRoom
是
那个 客体
的
attribute
和
那个 客体
是
HotelRoom
的
instance
,
然后 有存在
另一个 客体
,
第三 客体
, and 和
另一个 机构
这样
那个 另外 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
HotelFrontDesk
的
instance
和
那个 另外 机构
是
located
在
那个 另外 客体
和
那个 另外 客体
是
那个 机构
的财产 的
element
和
那个 第三 客体
是
那个 机构
的财产 的
element
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
不
equal
那个 第三 客体
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
如果 @ROW 的最大公因数
equal
整数
和
那个 整数
不
equal
0,
然后 不存在
另一个 整数
这样
那个 另外 整数
是
greaterThan
那个 整数
和 对所有
第三 整数
如果
那个 第三 整数
是 (@ROW) 的
member
,
然后
那个 第三 整数
模除
那个 另外 整数
equal
0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
如果 @ROW 的最小公倍数
equal
整数
和
那个 整数
不
equal
0,
然后 不存在
另一个 整数
这样
那个 另外 整数
是
lessThan
那个 整数
和 对所有
第三 整数
如果
那个 第三 整数
是 (@ROW) 的
member
,
然后
那个 另外 整数
模除
那个 第三 整数
equal
0
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))
Media.kif 2093-2103
如果 那只能是 1
values
对于
关系
的参数
正整数
和
那个 关系
是
谓语
的
instance
和
那个 关系
@ARGS 和
另一个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后 不存在
第三 实体
这样
那个 第三 实体
equal
(@ARGS) 的第
那个 正整数
几个元素 和
那个 另外 实体
不
equal
那个 第三 实体
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