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
DayFn
Sigma KEE - DayFn
DayFn
appearance as argument number 1
(
documentation
DayFn
ChineseLanguage
"这是一个
BinaryFunction
, 它把一个
PositiveRealNumber
与一个
Month
的子类别,分配到每个
Month
内对应该
PositiveRealNumber
的
Day
。例如: (
DayFn
16
August
) 是八月份所有第16日的
Class
,又例如: (
DayFn
9
Month
)会得出任何一个月 的第九日。再一个例子:(
DayFn
18(
MonthFn
August
(
YearFn
1912)))表示1912年八月十八日。")
chinese_format.kif 2760-2763
(
documentation
DayFn
EnglishLanguage
"A
BinaryFunction
that assigns a
PositiveRealNumber
and a subclass of
Month
s to the
Day
s within each
Month
corresponding to that
PositiveRealNumber
. For example, (
DayFn
16
August
) is the
Class
of all sixteenth days of August. For another example, (
DayFn
9
Month
) would return the class of all ninth days of any month. For still another example, (
DayFn
18 (
MonthFn
August
(
YearFn
1912))) denotes the 18th day of August 1912.")
Merge.kif 8592-8597
(
documentation
DayFn
JapaneseLanguage
"
BinaryFunction
は、
PositiveRealNumber
と
Month
のサブクラスを、その
PositiveRealNumber
に対応する各
Month
内の
Day
に割り当てる。例えば、 (
DayFn
16
August
) は8月のすべての16日間の
Class
である。別の例として、(
DayFn
9
Month
) は、任意の月のすべての9日間のクラスを返す。さらに別の例については、 (
DayFn
18(
MonthFn
August
(
YearFn
1912))) は1912年8月18日を示す。")
japanese_format.kif 1488-1492
(
domain
DayFn
1
PositiveInteger
)
Merge.kif 8588-8588
日函数
的 1 数量 是
正整数
的
instance
(
domainSubclass
DayFn
2
Month
)
Merge.kif 8589-8589
日函数
的 2 数量 是
月
的
subclass
(
instance
DayFn
BinaryFunction
)
Merge.kif 8586-8586
日函数
是
二元函数
的
instance
(
instance
DayFn
PartialValuedRelation
)
Merge.kif 8587-8587
日函数
是
部分值关系
的
instance
(
instance
DayFn
TemporalRelation
)
Merge.kif 8585-8585
日函数
是
时间关系
的
instance
(
rangeSubclass
DayFn
Day
)
Merge.kif 8590-8590
日函数
的所得值 是
日
的
subclass
appearance as argument number 2
(
format
ChineseLanguage
DayFn
"%1 day ")
chinese_format.kif 469-469
(
format
EnglishLanguage
DayFn
"the day %1")
english_format.kif 475-475
(
format
FrenchLanguage
DayFn
"le jour %1")
french_format.kif 271-271
(
format
ItalianLanguage
DayFn
"il giorno %1")
relations-it.txt 65-65
(
format
JapaneseLanguage
DayFn
"%1 day 目")
japanese_format.kif 2061-2061
(
format
PortugueseLanguage
DayFn
"o dia %1")
portuguese_format.kif 223-223
(
format
cb
DayFn
"ang adlaw %1")
relations-cb.txt 99-99
(
format
cz
DayFn
"%1 of %2")
relations-cz.txt 277-277
(
format
de
DayFn
"der tag %1")
relations-de.txt 612-612
(
format
hi
DayFn
"dina %1 hai")
relations-hindi.txt 106-106
(
format
ro
DayFn
"day%t{ziua} %1")
relations-ro.kif 292-292
(
format
sv
DayFn
"dagen %1")
relations-sv.txt 298-298
(
format
tg
DayFn
"ang araw %1")
relations-tg.txt 146-146
(
relatedInternalConcept
Day
DayFn
)
Merge.kif 9231-9231
日
和
日函数
是 内部相关
(
termFormat
ChineseLanguage
DayFn
"天")
domainEnglishFormat.kif 18660-18660
(
termFormat
ChineseLanguage
DayFn
"日函数")
chinese_format.kif 470-470
(
termFormat
ChineseTraditionalLanguage
DayFn
"天")
domainEnglishFormat.kif 18659-18659
(
termFormat
EnglishLanguage
DayFn
"day")
domainEnglishFormat.kif 18658-18658
(
termFormat
tg
DayFn
"tungkulin araw")
relations-tg.txt 147-147
antecedent
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
如果
日
是
人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
那个 人类
的
birthday
是
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
那个 另外 有点 日
equal
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
(=>
(
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
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
subclass
?HOLIDAY
FixedHoliday
)
(
lessThanOrEqualTo
?YEAR ?LATER-YEAR))
(
instance
?DATE
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?LATER-YEAR)))))
Government.kif 619-625
如果
正整数
day
是
有点 假日
的
commemorates
日期 和
实体
是
有点 假日
的
instance
和
那个 有点 假日
是
固定假期
的
subclass
和
整数
是
lessThanOrEqualTo
另一个 实体
-YEAR,
然后
那个 实体
是
那个 正整数
day
的
instance
(=>
(
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
在
时距
holdsDuring
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
和
实数
equal
(49 和
整数
) 和
另一个 实数
equal
(52 和
那个 整数
) 和
时点
equal
那个 时距
的开始,
然后
那个 时点
是
greaterThan
那个 实数
和
那个 另外 实数
是
greaterThan
那个 时点
的声明 has
容易
的语气
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8722-8729
如果
时距
是
正整数
day
的
instance
和
另一个 时距
是
另一个 正整数
day
的
instance
和
时点
equal
那个 时距
的开始 和
另一个 时点
equal
那个 另外 时距
的开始 和
那个 另外 正整数
是
greaterThan
那个 正整数
,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
greaterThan
?N2 ?N1))
(
earlier
?D1 ?D2))
Merge.kif 8731-8736
如果
时距
是
正整数
day
的
instance
和
另一个 时距
是
另一个 正整数
day
的
instance
和
那个 另外 正整数
是
greaterThan
那个 正整数
,
然后
那个 时距
比
那个 另外 时距
发生的
earlier
(=>
(
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
(
DayFn
?NUMBER1 ?MONTH))
(
instance
?DAY2
(
DayFn
?NUMBER2 ?MONTH))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8603-8608
如果
时距
是
正整数
day
的
instance
和
另一个 时距
是
另一个 正整数
day
的
instance
和 (
那个 另外 正整数
和
那个 正整数
)
equal
1,
然后
那个 时距
接着
那个 另外 时距
(=>
(
and
(
instance
?MIT
BarMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Boy
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 69-85
如果
过程
是
BarMitzvah
的
instance
和
人类
是
那个 过程
的
patient
和
那个 人类
是
男孩
的
instance
和
那个 人类
是
群体
的
member
和
那个 群体
是
犹太教
的
instance
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
整数
和
时间位置
这样
那个 整数
是
整数
的
instance
和
那个 整数
equal
(
另一个 整数
和 13) 和
那个 时间位置
是
那个 正整数
day
的
instance
和
那个 过程
出现 的
time
equal
紧接
那个 时间位置
after
(=>
(
and
(
instance
?MIT
BatMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Girl
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 99-115
如果
过程
是
BatMitzvah
的
instance
和
人类
是
那个 过程
的
patient
和
那个 人类
是
女孩
的
instance
和
那个 人类
是
群体
的
member
和
那个 群体
是
犹太教
的
instance
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
整数
和
时间位置
这样
那个 整数
是
整数
的
instance
和
那个 整数
equal
(
另一个 整数
和 13) 和
那个 时间位置
是
那个 正整数
day
的
instance
和
那个 过程
出现 的
time
equal
紧接
那个 时间位置
after
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?CST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
CentralTimeZone
) ?CST))
(
equal
?H2
(
AdditionFn
?H1 6)))
Merge.kif 17206-17212
如果
时间位置
是
非负整数
hour
的
instance
和
另一个 时间位置
是
另一个 非负整数
hour
的
instance
和 时间
那个 时间位置
在 时区
中央时区
equal
那个 另外 时间位置
,
然后
那个 另外 非负整数
equal
(
那个 非负整数
和 6)
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?EST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
EasternTimeZone
) ?EST))
(
equal
?H2
(
AdditionFn
?H1 5)))
Merge.kif 17218-17224
如果
时间位置
是
非负整数
hour
的
instance
和
另一个 时间位置
是
另一个 非负整数
hour
的
instance
和 时间
那个 时间位置
在 时区
东部时区
equal
那个 另外 时间位置
,
然后
那个 另外 非负整数
equal
(
那个 非负整数
和 5)
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?MST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
MountainTimeZone
) ?MST))
(
equal
?H2
(
AdditionFn
?H1 7)))
Merge.kif 17194-17200
如果
时间位置
是
非负整数
hour
的
instance
和
另一个 时间位置
是
另一个 非负整数
hour
的
instance
和 时间
那个 时间位置
在 时区
山区时区
equal
那个 另外 时间位置
,
然后
那个 另外 非负整数
equal
(
那个 非负整数
和 7)
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?PST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
PacificTimeZone
) ?PST))
(
equal
?H2
(
AdditionFn
?H1 8)))
Merge.kif 17182-17188
如果
时间位置
是
非负整数
hour
的
instance
和
另一个 时间位置
是
另一个 非负整数
hour
的
instance
和 时间
那个 时间位置
在 时区
太平洋时区
equal
那个 另外 时间位置
,
然后
那个 另外 非负整数
equal
(
那个 非负整数
和 8)
(=>
(
and
(
instance
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24195-24206
如果
物理
是
婚礼
的
instance
和
那个 物理
的
date
是
日
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
weddingAnniversary
那个 物理
and
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
那个 另外 有点 日
equal
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
(=>
(
instance
?DAY
(
DayFn
?NUMBER ?MONTH))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 8599-8601
如果
实体
是
正整数
day
的
instance
,
然后
那个 正整数
是
lessThanOrEqualTo
31
consequent
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
如果
日
是
人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
那个 人类
的
birthday
是
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
那个 另外 有点 日
equal
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
subclass
?HOLIDAY
FixedHoliday
)
(
lessThanOrEqualTo
?YEAR ?LATER-YEAR))
(
instance
?DATE
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?LATER-YEAR)))))
Government.kif 619-625
如果
正整数
day
是
有点 假日
的
commemorates
日期 和
实体
是
有点 假日
的
instance
和
那个 有点 假日
是
固定假期
的
subclass
和
整数
是
lessThanOrEqualTo
另一个 实体
-YEAR,
然后
那个 实体
是
那个 正整数
day
的
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
?MIT
BarMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Boy
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 69-85
如果
过程
是
BarMitzvah
的
instance
和
人类
是
那个 过程
的
patient
和
那个 人类
是
男孩
的
instance
和
那个 人类
是
群体
的
member
和
那个 群体
是
犹太教
的
instance
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
整数
和
时间位置
这样
那个 整数
是
整数
的
instance
和
那个 整数
equal
(
另一个 整数
和 13) 和
那个 时间位置
是
那个 正整数
day
的
instance
和
那个 过程
出现 的
time
equal
紧接
那个 时间位置
after
(=>
(
and
(
instance
?MIT
BatMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Girl
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 99-115
如果
过程
是
BatMitzvah
的
instance
和
人类
是
那个 过程
的
patient
和
那个 人类
是
女孩
的
instance
和
那个 人类
是
群体
的
member
和
那个 群体
是
犹太教
的
instance
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
整数
和
时间位置
这样
那个 整数
是
整数
的
instance
和
那个 整数
equal
(
另一个 整数
和 13) 和
那个 时间位置
是
那个 正整数
day
的
instance
和
那个 过程
出现 的
time
equal
紧接
那个 时间位置
after
(=>
(
and
(
instance
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24195-24206
如果
物理
是
婚礼
的
instance
和
那个 物理
的
date
是
日
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
weddingAnniversary
那个 物理
and
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
那个 另外 有点 日
equal
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
statement
(
agreementAdoptionDate
AntarcticTreaty
(
DayFn
1
(
MonthFn
December
(
YearFn
1959))))
Geography.kif 3192-3192
1
Day
是
南极条约
的
agreement
采用日期
(
agreementEffectiveDate
AntarcticTreaty
(
instance
?D
(
DayFn
23
(
MonthFn
June
(
YearFn
1961)))))
Geography.kif 3193-3193
?D 是 23
Day
的
instance
是
南极条约
的
agreement
生效日期
(
dateDissolved
CoordinatingCommitteeOnExportControls
(
DayFn
31
(
MonthFn
March
(
YearFn
1994))))
Government.kif 2994-2994
31
Day
是
出口管制协调委员会
的闭幕
date
(
dateDissolved
CouncilForMutualEconomicAssistance
(
DayFn
1
(
MonthFn
January
(
YearFn
1991))))
Government.kif 3009-3009
1
Day
是
共同经济援助理事会
的闭幕
date
(
dateDissolved
UnitedNationsPreventiveDeploymentForce
(
DayFn
25
(
MonthFn
March
(
YearFn
1999))))
Government.kif 4145-4145
25
Day
是
联合国预防性部署部队
的闭幕
date
(
dateDissolved
WarsawPact
(
DayFn
1
(
MonthFn
July
(
YearFn
1991))))
Government.kif 4285-4285
1
Day
是
华沙协议
的闭幕
date
(
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
(
DayFn
6
(
MonthFn
June
(
YearFn
1975))))
Government.kif 2750-2750
6
Day
是
非洲加勒比和太平洋国家集团
的成立
date
(
dateEstablished
AfricanDevelopmentBank
(
DayFn
4
(
MonthFn
August
(
YearFn
1963))))
Government.kif 2757-2757
4
Day
是
非洲开发银行
的成立
date
(
dateEstablished
AgencyForTheFrenchSpeakingCommunity
(
DayFn
20
(
MonthFn
March
(
YearFn
1970))))
Government.kif 2771-2771
20
Day
是
法语社区的代理机构
的成立
date
(
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(
DayFn
14
(
MonthFn
February
(
YearFn
1967))))
Government.kif 2778-2778
14
Day
是
在拉丁美洲和加勒比地区禁止核武器的机构
的成立
date
(
dateEstablished
AndeanCommunityOfNations
(
DayFn
26
(
MonthFn
May
(
YearFn
1969))))
Government.kif 2796-2796
26
Day
是
安第斯国际社会
的成立
date
(
dateEstablished
AntarcticTreatyCouncil
(
DayFn
23
(
MonthFn
June
(
YearFn
1961))))
Government.kif 2801-2801
23
Day
是
南极条约理事会
的成立
date
(
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
(
DayFn
18
(
MonthFn
February
(
YearFn
1974))))
Government.kif 2812-2812
18
Day
是
阿拉伯非洲经济发展银行
的成立
date
(
dateEstablished
ArabCooperationCouncil
(
DayFn
16
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2818-2818
16
Day
是
阿拉伯合作理事会
的成立
date
(
dateEstablished
ArabFundForEconomicAndSocialDevelopment
(
DayFn
16
(
MonthFn
May
(
YearFn
1968))))
Government.kif 2824-2824
16
Day
是
阿拉伯经济和社会发展基金
的成立
date
(
dateEstablished
ArabLeague
(
DayFn
22
(
MonthFn
March
(
YearFn
1945))))
Government.kif 2833-2833
22
Day
是
阿拉伯联盟
的成立
date
(
dateEstablished
ArabMaghrebUnion
(
DayFn
17
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2842-2842
17
Day
是
阿拉伯马格里布联盟
的成立
date
(
dateEstablished
ArabMonetaryFund
(
DayFn
27
(
MonthFn
April
(
YearFn
1976))))
Government.kif 2851-2851
27
Day
是
阿拉伯货币基金
的成立
date
(
dateEstablished
AsiaPacificEconomicCooperation
(
DayFn
7
(
MonthFn
November
(
YearFn
1989))))
Government.kif 2857-2857
7
Day
是
亚太经济合作
的成立
date
(
dateEstablished
AsianDevelopmentBank
(
DayFn
19
(
MonthFn
December
(
YearFn
1966))))
Government.kif 2863-2863
19
Day
是
亚洲开发银行
的成立
date
(
dateEstablished
AssociationOfSoutheastAsianNations
(
DayFn
8
(
MonthFn
August
(
YearFn
1967))))
Government.kif 2869-2869
8
Day
是
东南亚国家联盟
的成立
date
(
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
(
DayFn
1
(
MonthFn
September
(
YearFn
1951))))
Government.kif 2889-2889
1
Day
是
澳大利亚新西兰美国安全条约
的成立
date
(
dateEstablished
BankForInternationalSettlements
(
DayFn
20
(
MonthFn
January
(
YearFn
1930))))
Government.kif 2895-2895
20
Day
是
国际结算银行
的成立
date
(
dateEstablished
BeneluxEconomicUnion
(
DayFn
3
(
MonthFn
February
(
YearFn
1958))))
Government.kif 2901-2901
3
Day
是
比荷卢经济联盟
的成立
date
(
dateEstablished
BlackSeaEconomicCooperationZone
(
DayFn
25
(
MonthFn
June
(
YearFn
1992))))
Government.kif 2921-2921
25
Day
是
黑海经济合作区
的成立
date
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