Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
temporalPart
Sigma KEE - temporalPart
temporalPart
appearance as argument number 1
(
documentation
temporalPart
ChineseLanguage
"这是类似空间谓词
part
的时间部分。 (
temporalPart
?POS1 ?POS2)的意思是
TimePosition
?POS1 是
TimePosition
?POS2 的一部分。 注:因为
temporalPart
是
ReflexiveRelation
,所以每个 TimePostion 都是它本身的 一个
temporalPart
。")
chinese_format.kif 2693-2696
(
documentation
temporalPart
EnglishLanguage
"The temporal analogue of the spatial
part
predicate. (
temporalPart
?POS1 ?POS2) means that
TimePosition
?POS1 is part of
TimePosition
?POS2. Note that since
temporalPart
is a
ReflexiveRelation
every TimePostion is a
temporalPart
of itself.")
Merge.kif 7935-7938
(
documentation
temporalPart
JapaneseLanguage
"空間
part
述部の時間アナログ。(
temporalPart
?POS1 ?POS2) とは、
TimePosition
?POS1が
TimePosition
?POS2 の一部であることを意味する。 注:
temporalPart
はすべての TimePostion の
ReflexiveRelation
であるため、それ自体の TimePostion である。")
japanese_format.kif 1416-1419
(
domain
temporalPart
1
TimePosition
)
Merge.kif 7932-7932
时间部分
的 1 数量 是
时间位置
的
instance
(
domain
temporalPart
2
TimePosition
)
Merge.kif 7933-7933
时间部分
的 2 数量 是
时间位置
的
instance
(
instance
temporalPart
BinaryPredicate
)
Merge.kif 7929-7929
时间部分
是
二元谓语
的
instance
(
instance
temporalPart
PartialOrderingRelation
)
Merge.kif 7931-7931
时间部分
是
偏序关系
的
instance
(
instance
temporalPart
TemporalRelation
)
Merge.kif 7930-7930
时间部分
是
时间关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
temporalPart
"%1 时段 %n 是 %2 时段 的一
part
")
chinese_format.kif 417-417
(
format
EnglishLanguage
temporalPart
"%1 is %n a
part
of %2")
english_format.kif 423-423
(
format
FrenchLanguage
temporalPart
"%1 est %n une
part
ie de %2")
french_format.kif 243-243
(
format
ItalianLanguage
temporalPart
"%1 è %n una
part
e di%2")
relations-it.txt 296-296
(
format
JapaneseLanguage
temporalPart
"%1 は %2 の
part
では %n")
japanese_format.kif 2037-2037
(
format
PortugueseLanguage
temporalPart
"%1 e' %n uma &parte de %2")
portuguese_format.kif 195-195
(
format
cz
temporalPart
"%1 %p{je} %n{nen�} a
part
of %2'")
relations-cz.txt 248-248
(
format
de
temporalPart
"%1 ist ein teil von %2 %n{nicht}")
relations-de.txt 541-541
(
format
hi
temporalPart
"%1 %2 kaa bhaaga %n hai")
relations-hindi.txt 332-332
(
format
ro
temporalPart
"%1 %n{nu} este o
part
%t{parte} a lui %2")
relations-ro.kif 264-264
(
format
sv
temporalPart
"%1 är %n{inte} en
de
l av %2")
relations-sv.txt 264-264
(
format
tg
temporalPart
"%1 %n ay ang bahagi ng %2")
relations-tg.txt 488-488
(
relatedInternalConcept
typicalTemporalPart
temporalPart
)
Cars.kif 1433-1433
typicalTemporalPart
和
时间部分
是 内部相关
(
relatedInternalConcept
typicallyContainsTemporalPart
temporalPart
)
Cars.kif 1475-1475
typicallyContainsTemporalPart
和
时间部分
是 内部相关
(
subrelation
finishes
temporalPart
)
Merge.kif 8064-8064
完成
是
时间部分
的
subrelation
(
subrelation
starts
temporalPart
)
Merge.kif 8032-8032
开始
是
时间部分
的
subrelation
(
termFormat
ChineseLanguage
temporalPart
"时间部分")
chinese_format.kif 418-418
(
termFormat
ChineseTraditionalLanguage
temporalPart
"時間部分")
domainEnglishFormat.kif 57451-57451
(
termFormat
EnglishLanguage
temporalPart
"temporal part")
domainEnglishFormat.kif 57450-57450
antecedent
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8281-8288
如果
时距
比
实体
earlier
和
时点
是
时点
的
instance
和
另一个 时点
是
时点
的
instance
和
那个 时点
时段 是
那个 时距
时段 的一
part
和
那个 另外 时点
时段 是
另一个 时距
时段 的一
part
,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
and
(
holdsDuring
?TIME1 ?SITUATION)
(
temporalPart
?TIME2 ?TIME1))
(
holdsDuring
?TIME2 ?SITUATION))
Merge.kif 7954-7958
如果
公式
在
时间位置
holdsDuring
和
另一个 时间位置
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 公式
在
那个 另外 时间位置
holdsDuring
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
如果
群体
是
群体
的
instance
和
WebSite
是
WebSite
的
instance
和
施事体
是
施事体
的
instance
和
WebListing
是
WebListing
的
instance
和
时点
是
时点
的
instance
和
那个 施事体
sells
那个 WebListing
和
那个 WebListing
不 是
那个 群体
的
member
和 对所有
物理
和
另一个 物理
如果
那个 物理
是
WebListing
的
instance
和
那个 物理
是 样品对于
sale
由
那个 施事体
在
那个 WebSite
的
member
和
那个 时点
时段 是
那个 物理
出现 的
time
时段 的一
part
和
那个 物理
不
equal
那个 WebListing
,
然后
那个 物理
是
那个 群体
的
member
和
如果
那个 另外 物理
是
那个 群体
的
member
,
然后
那个 时点
时段 是
那个 物理
出现 的
time
时段 的一
part
和
那个 另外 物理
是
WebListing
的
instance
,
然后 东西对于
sale
由
那个 施事体
非列在
那个 WebListing
在
那个 WebSite
期间
那个 时点
equal
那个 群体
(=>
(
and
(
instance
?D
EasterSunday
)
(
temporalPart
?D ?M)
(
instance
?M
Month
))
(
or
(
instance
?M
March
)
(
instance
?M
April
)
(
instance
?M
May
)))
Media.kif 498-506
如果
时间位置
是
EasterSunday
的
instance
和
那个 时间位置
时段 是
另一个 时间位置
时段 的一
part
和
那个 另外 时间位置
是
月
的
instance
,
然后
那个 另外 时间位置
是
三月
的
instance
或
那个 另外 时间位置
是
A四月
的
instance
或
那个 另外 时间位置
是
五月
的
instance
(=>
(
and
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
temporalPart
?D1
(
WeekBeforeFn
?D2))
(
temporalPart
?D2
(
WeekAfterFn
?D1)))
(
exists
(?N1)
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?N1
(
SubtractionFn
?N2 7)))))
Mid-level-ontology.kif 14837-14846
如果
时间位置
是
正整数
day
的
instance
和
另一个 时间位置
时段 是
WeekBeforeFn
那个 时间位置
时段 的一
part
和
那个 时间位置
时段 是
WeekAfterFn
那个 另外 时间位置
时段 的一
part
,
然后 有存在
另一个 正整数
这样
那个 另外 时间位置
是
那个 另外 正整数
day
的
instance
和
那个 另外 正整数
equal
(
那个 正整数
和 7)
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9299-9306
如果
时距
是
星期五
的
instance
和
另一个 时距
是
星期六
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9247-9254
如果
时距
是
星期一
的
instance
和
另一个 时距
是
星期二
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9312-9319
如果
时距
是
星期六
的
instance
和
另一个 时距
是
星期日
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9330
如果
时距
是
星期日
的
instance
和
另一个 时距
是
星期一
的
instance
和
第三 时距
是
星期
的
instance
和
第四 时距
是
星期
的
instance
和
那个 时距
时段 是
那个 第三 时距
时段 的一
part
和
那个 另外 时距
时段 是
那个 第四 时距
时段 的一
part
和
那个 第三 时距
接着
那个 第四 时距
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9286-9293
如果
时距
是
星期四
的
instance
和
另一个 时距
是
星期五
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9260-9267
如果
时距
是
星期二
的
instance
和
另一个 时距
是
星期三
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9273-9280
如果
时距
是
星期三
的
instance
和
另一个 时距
是
星期四
的
instance
和
时间位置
是
星期
的
instance
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 另外 时距
时段 是
那个 时间位置
时段 的一
part
,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8242-8247
如果
时间位置
是
时距
的
instance
和
那个 时间位置
时段 是
时距
时段 的一
part
和
那个 时间位置
时段 是
另一个 时距
时段 的一
part
,
然后
那个 另外 时距
时段 和
那个 时距
重叠
(=>
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8298-8303
如果
时间位置
是
时间位置
的
instance
和
那个 时间位置
时段 是
时距
时段 的一
part
和
那个 时间位置
时段 是
另一个 时距
时段 的一
part
,
然后
那个 另外 时距
时段 和
那个 时距
重叠
(=>
(
and
(
typicalTemporalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
temporalPart
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
temporalPart
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
如果
typicalTemporalPart
有点 过程
and
另一个 有点 过程
和
实体
是
有点 过程
的
instance
和
那个 有点 过程
PROB
equal
有存在
另一个 实体
这样
那个 另外 实体
是
另一个 有点 过程
的
instance
和
那个 实体
时段 是
那个 另外 实体
时段 的一
part
的机率 和
另一个 实数
equal
不存在
第三 实体
这样
那个 第三 实体
是
那个 另外 有点 过程
的
instance
和
那个 实体
时段 是
那个 第三 实体
时段 的一
part
的机率,
然后
那个 有点 过程
PROB 是
greaterThan
那个 另外 实数
(=>
(
and
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
temporalPart
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
temporalPart
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1493-1510
如果
typicallyContainsTemporalPart
有点 过程
and
另一个 有点 过程
和
实体
是
另一个 有点 过程
的
instance
和
有点 过程
PROB
equal
有存在
另一个 实体
这样
那个 另外 实体
是
那个 有点 过程
的
instance
和
那个 另外 实体
时段 是
那个 实体
时段 的一
part
的机率 和
另一个 实数
equal
不存在
第三 实体
这样
那个 第三 实体
是
那个 有点 过程
的
instance
和
那个 第三 实体
时段 是
那个 实体
时段 的一
part
的机率,
然后
那个 有点 过程
PROB 是
greaterThan
那个 另外 实数
(=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 7969-7972
如果
时间位置
时段 是
物理
出现 的
time
时段 的一
part
,
然后
那个 物理
在
那个 时间位置
是 存在
consequent
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
如果
日
是
JesusOfNazareth
的
birthdate
和
时距
是 -6
year
的
instance
和
另一个 时距
是 4
year
的
instance
,
然后
那个 日
时段 是
那个 时距
的开始 和
那个 另外 时距
的结束 间的时段 时段 的一
part
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1943-1948
如果
日
是
JesusOfNazareth
的
deathdate
和
时距
是 29
year
的
instance
和
另一个 时距
是 36
year
的
instance
,
然后
那个 日
时段 是
那个 时距
的开始 和
那个 另外 时距
的结束 间的时段 时段 的一
part
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD)
(
instance
?FY ?PERIOD))
(
exists
(?DAY ?INST)
(
and
(
instance
?DAY
Day
)
(
starts
?DAY ?FY)
(
instance
?INST ?YEAR)
(
temporalPart
?DAY ?INST))))
Economy.kif 3754-3764
如果
时距
equal
施事体
和
有点 年
的
fiscal
开始年分 和
另一个 有点 时距
是
那个 施事体
的
fiscal
年周期 和
那个 时距
是
另一个 有点 时距
的
instance
,
然后 有存在
第三 时距
和
时间位置
这样
那个 第三 时距
是
日
的
instance
和
那个 第三 时距
starts
了才到
那个 时距
和
那个 时间位置
是
有点 年
的
instance
和
那个 第三 时距
时段 是
那个 时间位置
时段 的一
part
(=>
(
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
如果
被驱逐
是
实体
的
attribute
和
那个 实体
是
另一个 实体
-NATION 的
citizen
在
时间位置
holdsDuring
和
那个 时间位置
是
时距
的
instance
,
然后 有存在
过程
和
客体
这样
那个 客体
是
国家
的
instance
和
那个 客体
不
equal
那个 另外 实体
-NATION 和
那个 过程
是
易位
的
instance
和
那个 客体
是
那个 过程
的源头 和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
那个 另外 实体
-NATION 结束 和
那个 时间位置
时段 是
那个 过程
出现 的
time
时段 的一
part
(=>
(
and
(
instance
?DECODE
Decoding
)
(
patient
?DECODE ?DOC1))
(
exists
(?ENCODE ?DOC2 ?TIME ?PROP)
(
and
(
containsInformation
?DOC2 ?PROP)
(
containsInformation
?DOC1 ?PROP)
(
temporalPart
?TIME
(
PastFn
(
WhenFn
?DECODE)))
(
holdsDuring
?TIME
(
and
(
instance
?ENCODE
Encoding
)
(
patient
?ENCODE ?DOC2))))))
Merge.kif 12715-12728
如果
过程
是
解码
的
instance
和
内容承载物理
是
那个 过程
的
patient
,
然后 有存在
实体
,
另一个 内容承载物理
,, ,
时间位置
, and 和
命题
这样
那个 另外 内容承载物理
contains
那个 命题
的资料 和
那个 内容承载物理
contains
那个 命题
的资料 和
那个 时间位置
时段 是
那个 过程
出现 的
time
before
时段 的一
part
和
那个 实体
是
编码
的
instance
和
那个 另外 内容承载物理
是
那个 实体
的
patient
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?GOAL
GameGoal
)
(
instrument
?GAME ?GOAL)
(
instance
?GAME
Game
)
(
subProcess
?SCORE ?GAME)
(
instance
?SCORE
Score
))
(
exists
(?PIECE ?TIME)
(
and
(
instance
?PIECE
GamePiece
)
(
patient
?SCORE ?PIECE)
(
temporalPart
?TIME
(
WhenFn
?SCORE))
(
holdsDuring
?TIME
(
located
?PIECE ?GOAL)))))
Mid-level-ontology.kif 17051-17063
如果
客体
是
游戏目标
的
instance
和
那个 客体
是导致
过程
的
instrument
和
那个 过程
是
游戏
的
instance
和
另一个 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
是
得分
的
instance
,
然后 有存在
另一个 实体
和
时间位置
这样
那个 另外 实体
是
游戏片
的
instance
和
那个 另外 实体
是
那个 另外 过程
的
patient
和
那个 时间位置
时段 是
那个 另外 过程
出现 的
time
时段 的一
part
和
那个 另外 实体
是
located
在
那个 客体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?H
Hanukkah
)
(
equal
?B
(
BeginFn
?H)))
(
exists
(?M)
(
and
(
temporalPart
?B ?M)
(
instance
?M
Month
)
(
or
(
instance
?M
November
)
(
instance
?M
December
)))))
Media.kif 587-597
如果
时距
是
Hanukkah
的
instance
和
时点
equal
那个 时距
的开始,
然后 有存在
时间位置
这样
那个 时点
时段 是
那个 时间位置
时段 的一
part
和
那个 时间位置
是
月
的
instance
和
那个 时间位置
是
十一月
的
instance
或
那个 时间位置
是
十二月
的
instance
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12190-12198
如果
过程
是
保存
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样 对所有
时间位置
如果
那个 时间位置
时段 是
那个 过程
出现 的
time
时段 的一
part
,
然后
那个 实体
是
located
在
那个 另外 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?O
OccupationalRole
)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O)))
(
exists
(?X ?T ?P ?PT)
(
and
(
instance
?X
CognitiveAgent
)
(
holdsDuring
?T
(
attribute
?X ?O))
(
instance
?P ?PCLASS)
(
agent
?X ?P)
(
time
?P ?PT)
(
temporalPart
?PT ?T))))
Mid-level-ontology.kif 22260-22273
如果
属性
是
职业角色
的
instance
和
有点 过程
是
有认知的主事
跟
那个 属性
的
attr
的
typical
action
,
然后 有存在
另一个 过程
,
时间位置
,, ,
施事体
, and 和
那个 施事体
T 这样
那个 另外 过程
是
有认知的主事
的
instance
和
那个 属性
是
那个 另外 过程
的
attribute
在
那个 时间位置
holdsDuring
和
那个 施事体
是
有点 过程
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 施事体
在
那个 施事体
T 是 存在 和
那个 施事体
T 时段 是
那个 时间位置
时段 的一
part
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
forall
(?POINT)
(<=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT ?POINT2)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 8430-8439
如果
时点
是
时点
的
instance
和
另一个 时点
是
时点
的
instance
和
时距
是
时距
的
instance
和
那个 时点
和
那个 另外 时点
间的时段
equal
那个 时距
,
然后 对所有
第三 时点
那个 第三 时点
是在或等于
那个 时点
和
那个 另外 时点
between
若且唯若
那个 第三 时点
时段 是
那个 时距
时段 的一
part
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
如果
客体
是
锯
的
instance
和
过程
是
切开
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
另一个 客体
是
客体
的
instance
和
那个 另外 客体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
,
实体
,, ,
另一个 实体
,, ,
时距
,, ,
时间位置
,, ,
另一个 时间位置
, and 和
第三 客体
这样
那个 另外 过程
是
运动
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 客体
是
切割装置
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
那个 第三 客体
接上
那个 另外 客体
和
那个 第三 客体
是
那个 另外 过程
的
patient
和
那个 另外 时间位置
是
时距
的
instance
和
那个 另外 时间位置
是
时距
的
instance
和
那个 另外 过程
出现 的
time
equal
那个 时距
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 时距
时段 是
那个 另外 时间位置
时段 的一
part
和
那个 实体
是
方向属性
的
instance
和
那个 另外 实体
是
方向属性
的
instance
和
如果
那个 另外 过程
过程的实体 向
那个 实体
在
那个 时间位置
holdsDuring
,
然后
那个 另外 过程
过程的实体 向
那个 另外 实体
和
那个 实体
equal
那个 另外 实体
或
那个 另外 实体
是
那个 实体
的
opposite
方向 和 ~{
那个 实体
equal
那个 另外 实体
} 或 ~{
那个 另外 实体
是
那个 实体
的
opposite
方向 } 在
那个 另外 时间位置
holdsDuring
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1959-1963
如果
时距
是 26
year
的
instance
和
另一个 时距
是 100
year
的
instance
,
然后
TwelveApostles
出现 的
time
时段 是
那个 时距
的开始 和
那个 另外 时距
的结束 间的时段 时段 的一
part
(=>
(
and
(
property
?Option
EuropeanStyleOption
)
(
agreementExpirationDate
?Option ?Date))
(
exists
(?Period ?Time ?Exercise)
(
and
(
instance
?Period
TimeInterval
)
(
equal
(
EndFn
?Period) ?Date)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
equal
(
WhenFn
?Exercise) ?Time))
(
temporalPart
?Time ?Period)))))
FinancialOntology.kif 2808-2820
如果
协议
有
欧式风格的选择
的
attribute
和
那个 协议
有
expiration
时点
,
然后 有存在
时距
,
另一个 时距
, and 和
物理
这样
那个 时距
是
时距
的
instance
和
那个 时距
的结束
equal
那个 时点
和
如果
那个 物理
是
执行一个选项
的
instance
和
那个 物理
出现 的
time
equal
那个 另外 时距
,
然后
那个 另外 时距
时段 是
那个 时距
时段 的一
part
(=>
(
and
(
subclass
?PAPER
Newspaper
)
(
instance
?WEEK
Week
))
(
exists
(?PUBLICATION ?ISSUE)
(
and
(
instance
?PUBLICATION
Publication
)
(
temporalPart
(
WhenFn
?PUBLICATION) ?WEEK)
(
result
?PUBLICATION ?ISSUE)
(
instance
?ISSUE ?PAPER))))
Mid-level-ontology.kif 14789-14798
如果
类
是
报纸
的
subclass
和
时间位置
是
星期
的
instance
,
然后 有存在
过程
和
实体
这样
那个 过程
是
出版
的
instance
和
那个 过程
出现 的
time
时段 是
那个 时间位置
时段 的一
part
和
那个 实体
是
那个 过程
的
result
和
那个 实体
是
那个 类
的
instance
(=>
(
classmate
?A1 ?A2 ?COURSE)
(
exists
(?CLASS ?EDU ?TIME)
(
and
(
instance
?CLASS
GroupOfPeople
)
(
instance
?EDU
EducationalProcess
)
(
realization
?EDU ?COURSE)
(
patient
?EDU ?CLASS)
(
temporalPart
?TIME
(
WhenFn
?EDU))
(
memberAtTime
?A1 ?CLASS ?TIME)
(
memberAtTime
?A1 ?CLASS ?TIME))))
Mid-level-ontology.kif 16816-16827
如果
classmate
人类
,
另一个 人类
and
教育课程
,
然后 有存在
群体
,
过程
, and 和
时间位置
这样
那个 群体
是
一群人
的
instance
和
那个 过程
是
教育性过程
的
instance
和
那个 过程
表示
那个 教育课程
的内容 和
那个 群体
是
那个 过程
的
patient
和
那个 时间位置
时段 是
那个 过程
出现 的
time
时段 的一
part
和
那个 人类
在
那个 时间位置
时 是
那个 群体
的
member
和
那个 人类
在
那个 时间位置
时 是
那个 群体
的
member
(=>
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
temporalPart
?MO
WinterSeason
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
lessThan
?AMOUNT -3.0))))
Geography.kif 1533-1541
如果
寒冷气候带
是
地理区域
地区的
climate
类别,
然后 有存在
时距
和
实数
这样
那个 时距
是
月
的
instance
和
那个 时距
时段 是
冬季
时段 的一
part
和 1 对于 %3 在 %2 周期的
average
温度 和
那个 实数
是
lessThan
-3.0
(=>
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
exists
(?ORGANISM ?TIME ?SAMPLE ?PROC)
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
and
(
instance
?PROC ?PROCESS)
(
temporalPart
(
WhenFn
?PROC) ?TIME)
(
experiencer
?PROC ?ORGANISM)
(
patient
?PROC ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
有点 生物活性物质
,
然后 有存在
实体
,
时间位置
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 疾病或综合症
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
和
那个 第三 实体
是
有点 过程
的
instance
和
那个 第三 实体
出现 的
time
时段 是
那个 时间位置
时段 的一
part
和
那个 实体
经历了
那个 第三 实体
和
那个 另外 实体
是
那个 第三 实体
的
patient
和
那个 另外 实体
是
有点 生物活性物质
的
instance
增加
那个 疾病或综合症
不 是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
发生的机率
(=>
(
during
?SMALL ?BIG)
(
temporalPart
?SMALL ?BIG))
Merge.kif 8258-8260
如果
时距
在
另一个 时距
时段内发生,
然后
那个 时距
时段 是
那个 另外 时距
时段 的一
part
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 7998-8005
如果
时距
的开始
equal
时点
,
然后 对所有
另一个 时点
如果
那个 另外 时点
时段 是
那个 时距
时段 的一
part
和
那个 另外 时点
不
equal
那个 时点
,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8016-8023
如果
时距
的结束
equal
时点
,
然后 对所有
另一个 时点
如果
那个 另外 时点
时段 是
那个 时距
时段 的一
part
和
那个 另外 时点
不
equal
那个 时点
,
然后
那个 另外 时点
%n在
那个 时点
before
发生
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME)
(=>
(
and
(
instance
?TIME
TimePoint
)
(
temporalPart
?TIME ?INTERVAL))
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?CLASS)
(
temporalPart
?TIME ?INSTANCE))))))
Merge.kif 9447-9457
如果 分拆
时距
为 的
那个 时距
TYPE
equal
第三 有点 时距
,
然后 对所有
时间位置
如果
那个 时间位置
是
时点
的
instance
和
那个 时间位置
时段 是
那个 时距
时段 的一
part
,
然后 有存在
另一个 时间位置
这样
那个 另外 时间位置
是
第三 有点 时距
的
instance
和
那个 时间位置
时段 是
那个 另外 时间位置
时段 的一
part
(=>
(
frequency
?PROC ?TIME1)
(
forall
(?TIME2)
(=>
(
duration
?TIME2 ?TIME1)
(
exists
(?POSITION)
(
and
(
temporalPart
?POSITION ?TIME2)
(
holdsDuring
?POSITION
(
exists
(?INST)
(
instance
?INST ?PROC))))))))
Merge.kif 7917-7927
如果
有点 过程
每
持续时间
发生一次,
然后 对所有
时距
如果
那个 时距
的
duration
是
那个 持续时间
,
然后 有存在
时间位置
这样
那个 时间位置
时段 是
那个 时距
时段 的一
part
和 有存在
实体
这样
那个 实体
是
有点 过程
的
instance
在
那个 时间位置
holdsDuring
(=>
(
holdsDuring
?T1
(
attribute
?H
Veteran
))
(
exists
(?T2)
(
and
(
temporalPart
?T2
(
PastFn
(
WhenFn
?T1)))
(
holdsDuring
?T2
(
attribute
?H
Soldier
))
(
not
(
holdsDuring
?T1
(
attribute
?H
Soldier
))))))
Mid-level-ontology.kif 22203-22214
如果
老将
是
实体
的
attribute
在
物理
holdsDuring
,
然后 有存在
时间位置
这样
那个 时间位置
时段 是
那个 物理
出现 的
time
before
时段 的一
part
和
士兵
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
和
士兵
是
那个 实体
的
attribute
doesn't 在
那个 物理
holdsDuring
(=>
(
holdsDuring
?T1
(
inhabits
?ORGANISM ?OBJ))
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME ?T1)
(
holdsDuring
?TIME
(
located
?ORGANISM ?OBJ)))))
Merge.kif 14376-14382
如果
实体
住在
另一个 实体
在
时间位置
holdsDuring
,
然后 有存在
另一个 时间位置
这样
那个 另外 时间位置
是
时距
的
instance
和
那个 另外 时间位置
时段 是
那个 时间位置
时段 的一
part
和
那个 实体
是
located
在
那个 另外 实体
在
那个 另外 时间位置
holdsDuring
(=>
(
holdsDuring
?T1
(
states
?AGENT ?SENTENCE))
(
exists
(?COMM)
(
and
(
instance
?COMM
LinguisticCommunication
)
(
agent
?COMM ?AGENT)
(
patient
?COMM ?SENTENCE)
(
temporalPart
?T1
(
WhenFn
?COMM)))))
Media.kif 1844-1851
如果
施事体
states
实体
在
时间位置
holdsDuring
,
然后 有存在
过程
这样
那个 过程
是
语言交流
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
patient
和
那个 时间位置
时段 是
那个 过程
出现 的
time
时段 的一
part
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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