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 and
PositiveInteger
(
domainSubclass
DayFn
2
Month
)
Merge.kif 8589-8589
域子類
天
, 2 and
Month
(
instance
DayFn
BinaryFunction
)
Merge.kif 8586-8586
例
天
and
BinaryFunction
(
instance
DayFn
PartialValuedRelation
)
Merge.kif 8587-8587
例
天
and
PartialValuedRelation
(
instance
DayFn
TemporalRelation
)
Merge.kif 8585-8585
例
天
and
TemporalRelation
(
rangeSubclass
DayFn
Day
)
Merge.kif 8590-8590
範圍子類
天
and
Day
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
相關的內部概念
Day
and
天
(
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
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Day
Integer
Human
的
birthday
是
Day
子類
Day
and
Day
例
Integer
and
Integer
等於
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
Integer
and
Integer
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
天
PositiveInteger
and
月
Month
and
年
Integer
是
假日
的
commemorates
日期
例
TimeInterval
and
假日
例
TimeInterval
and
年
Integer
早期
TimeInterval
and
TimeInterval
(=>
(
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
天
PositiveInteger
and
月
Month
and
年
Integer
是
假日
的
commemorates
日期
例
Entity
and
假日
子類
假日
and
固定假期
小於或等於
Integer
and
entity
-YEAR
例
Entity
and
天
PositiveInteger
and
月
Month
and
年
entity
-YEAR
(=>
(
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
持有期間
TimeInterval
and
attribute
Human
and
Menopausal
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
RealNumber
and
加成
49 and
Integer
等於
RealNumber
and
加成
52 and
Integer
等於
TimePoint
and
開始
TimeInterval
模態屬性
比較多
TimePoint
and
RealNumber
比較多
RealNumber
and
TimePoint
and
容易
(=>
(
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
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
開始
TimeInterval
比較多
PositiveInteger
and
PositiveInteger
之前
TimePoint
and
TimePoint
(=>
(
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
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
PositiveInteger
and
PositiveInteger
早期
TimeInterval
and
TimeInterval
(=>
(
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
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
時間部分
TimePosition
and
WeekBeforeFn
TimePosition
時間部分
TimePosition
and
WeekAfterFn
TimePosition
PositiveInteger
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
PositiveInteger
and
減法
PositiveInteger
and 7
(=>
(
and
(
instance
?DAY1
(
DayFn
?NUMBER1 ?MONTH))
(
instance
?DAY2
(
DayFn
?NUMBER2 ?MONTH))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8603-8608
例
TimeInterval
and
天
PositiveInteger
and
Month
例
TimeInterval
and
天
PositiveInteger
and
Month
等於
減法
PositiveInteger
and
PositiveInteger
and 1
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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
例
Process
and
BarMitzvah
患者
Process
and
Human
例
Human
and
男孩
會員
Human
and
Collection
例
Collection
and
猶太教
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Integer
3
TimePosition
例
Integer
3 and
Integer
等於
Integer
3 and
加成
Integer
and 13
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
3
等於
何時
Process
and
眼前的未來
TimePosition
(=>
(
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
例
Process
and
BatMitzvah
患者
Process
and
Human
例
Human
and
女孩
會員
Human
and
Collection
例
Collection
and
猶太教
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Integer
3
TimePosition
例
Integer
3 and
Integer
等於
Integer
3 and
加成
Integer
and 13
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
3
等於
何時
Process
and
眼前的未來
TimePosition
(=>
(
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
例
TimePosition
and
小時
NonnegativeInteger
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
TimePosition
and
小時
NonnegativeInteger
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
相對時間
TimePosition
and
中央時區
and
TimePosition
等於
NonnegativeInteger
and
加成
NonnegativeInteger
and 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
例
TimePosition
and
小時
NonnegativeInteger
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
TimePosition
and
小時
NonnegativeInteger
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
相對時間
TimePosition
and
東部時區
and
TimePosition
等於
NonnegativeInteger
and
加成
NonnegativeInteger
and 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
例
TimePosition
and
小時
NonnegativeInteger
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
Month
ST and
小時
NonnegativeInteger
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
相對時間
TimePosition
and
山區時區
and
Month
ST
等於
NonnegativeInteger
and
加成
NonnegativeInteger
and 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
例
TimePosition
and
小時
NonnegativeInteger
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
TimePosition
and
小時
NonnegativeInteger
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
相對時間
TimePosition
and
太平洋時區
and
TimePosition
等於
NonnegativeInteger
and
加成
NonnegativeInteger
and 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
例
Physical
and
婚禮
日期
Physical
and
Day
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Day
Integer
weddingAnniversary
Physical
and
Day
子類
Day
and
Day
例
Integer
and
Integer
等於
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
Integer
and
Integer
(=>
(
instance
?DAY
(
DayFn
?NUMBER ?MONTH))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 8599-8601
例
Entity
and
天
PositiveInteger
and
Month
小於或等於
PositiveInteger
and 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
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Day
Integer
Human
的
birthday
是
Day
子類
Day
and
Day
例
Integer
and
Integer
等於
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
Integer
and
Integer
(=>
(
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
天
PositiveInteger
and
月
Month
and
年
Integer
是
假日
的
commemorates
日期
例
Entity
and
假日
子類
假日
and
固定假期
小於或等於
Integer
and
entity
-YEAR
例
Entity
and
天
PositiveInteger
and
月
Month
and
年
entity
-YEAR
(=>
(
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
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
時間部分
TimePosition
and
WeekBeforeFn
TimePosition
時間部分
TimePosition
and
WeekAfterFn
TimePosition
PositiveInteger
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
PositiveInteger
and
減法
PositiveInteger
and 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
例
Process
and
BarMitzvah
患者
Process
and
Human
例
Human
and
男孩
會員
Human
and
Collection
例
Collection
and
猶太教
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Integer
3
TimePosition
例
Integer
3 and
Integer
等於
Integer
3 and
加成
Integer
and 13
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
3
等於
何時
Process
and
眼前的未來
TimePosition
(=>
(
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
例
Process
and
BatMitzvah
患者
Process
and
Human
例
Human
and
女孩
會員
Human
and
Collection
例
Collection
and
猶太教
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Integer
3
TimePosition
例
Integer
3 and
Integer
等於
Integer
3 and
加成
Integer
and 13
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
3
等於
何時
Process
and
眼前的未來
TimePosition
(=>
(
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
例
Physical
and
婚禮
日期
Physical
and
Day
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Day
Integer
weddingAnniversary
Physical
and
Day
子類
Day
and
Day
例
Integer
and
Integer
等於
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
Integer
and
Integer
statement
(
agreementAdoptionDate
AntarcticTreaty
(
DayFn
1
(
MonthFn
December
(
YearFn
1959))))
Geography.kif 3192-3192
天
1 and
月
December
and
年
1959 是
南極條約
的
agreement
採用日期
(
agreementEffectiveDate
AntarcticTreaty
(
instance
?D
(
DayFn
23
(
MonthFn
June
(
YearFn
1961)))))
Geography.kif 3193-3193
例
?D and
天
23 and
月
June
and
年
1961 是
南極條約
的
agreement
生效日期
(
dateDissolved
CoordinatingCommitteeOnExportControls
(
DayFn
31
(
MonthFn
March
(
YearFn
1994))))
Government.kif 2994-2994
天
31 and
月
March
and
年
1994 是
出口管制協調委員會
的閉幕
date
(
dateDissolved
CouncilForMutualEconomicAssistance
(
DayFn
1
(
MonthFn
January
(
YearFn
1991))))
Government.kif 3009-3009
天
1 and
月
January
and
年
1991 是
共同經濟援助理事會
的閉幕
date
(
dateDissolved
UnitedNationsPreventiveDeploymentForce
(
DayFn
25
(
MonthFn
March
(
YearFn
1999))))
Government.kif 4145-4145
天
25 and
月
March
and
年
1999 是
聯合國預防性部署部隊
的閉幕
date
(
dateDissolved
WarsawPact
(
DayFn
1
(
MonthFn
July
(
YearFn
1991))))
Government.kif 4285-4285
天
1 and
月
July
and
年
1991 是
華沙協議
的閉幕
date
(
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
(
DayFn
6
(
MonthFn
June
(
YearFn
1975))))
Government.kif 2750-2750
天
6 and
月
June
and
年
1975 是
非洲加勒比和太平洋國家集團
的成立
date
(
dateEstablished
AfricanDevelopmentBank
(
DayFn
4
(
MonthFn
August
(
YearFn
1963))))
Government.kif 2757-2757
天
4 and
月
August
and
年
1963 是
非洲開發銀行
的成立
date
(
dateEstablished
AgencyForTheFrenchSpeakingCommunity
(
DayFn
20
(
MonthFn
March
(
YearFn
1970))))
Government.kif 2771-2771
天
20 and
月
March
and
年
1970 是
法語社區的代理機構
的成立
date
(
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(
DayFn
14
(
MonthFn
February
(
YearFn
1967))))
Government.kif 2778-2778
天
14 and
月
February
and
年
1967 是
在拉丁美洲和加勒比地區禁止核武器的機構
的成立
date
(
dateEstablished
AndeanCommunityOfNations
(
DayFn
26
(
MonthFn
May
(
YearFn
1969))))
Government.kif 2796-2796
天
26 and
月
May
and
年
1969 是
安第斯國際社會
的成立
date
(
dateEstablished
AntarcticTreatyCouncil
(
DayFn
23
(
MonthFn
June
(
YearFn
1961))))
Government.kif 2801-2801
天
23 and
月
June
and
年
1961 是
南極條約理事會
的成立
date
(
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
(
DayFn
18
(
MonthFn
February
(
YearFn
1974))))
Government.kif 2812-2812
天
18 and
月
February
and
年
1974 是
阿拉伯非洲經濟發展銀行
的成立
date
(
dateEstablished
ArabCooperationCouncil
(
DayFn
16
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2818-2818
天
16 and
月
February
and
年
1989 是
阿拉伯合作理事會
的成立
date
(
dateEstablished
ArabFundForEconomicAndSocialDevelopment
(
DayFn
16
(
MonthFn
May
(
YearFn
1968))))
Government.kif 2824-2824
天
16 and
月
May
and
年
1968 是
阿拉伯經濟和社會發展基金
的成立
date
(
dateEstablished
ArabLeague
(
DayFn
22
(
MonthFn
March
(
YearFn
1945))))
Government.kif 2833-2833
天
22 and
月
March
and
年
1945 是
阿拉伯聯盟
的成立
date
(
dateEstablished
ArabMaghrebUnion
(
DayFn
17
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2842-2842
天
17 and
月
February
and
年
1989 是
阿拉伯馬格里布聯盟
的成立
date
(
dateEstablished
ArabMonetaryFund
(
DayFn
27
(
MonthFn
April
(
YearFn
1976))))
Government.kif 2851-2851
天
27 and
月
April
and
年
1976 是
阿拉伯貨幣基金
的成立
date
(
dateEstablished
AsiaPacificEconomicCooperation
(
DayFn
7
(
MonthFn
November
(
YearFn
1989))))
Government.kif 2857-2857
天
7 and
月
November
and
年
1989 是
亞太經濟合作
的成立
date
(
dateEstablished
AsianDevelopmentBank
(
DayFn
19
(
MonthFn
December
(
YearFn
1966))))
Government.kif 2863-2863
天
19 and
月
December
and
年
1966 是
亞洲開發銀行
的成立
date
(
dateEstablished
AssociationOfSoutheastAsianNations
(
DayFn
8
(
MonthFn
August
(
YearFn
1967))))
Government.kif 2869-2869
天
8 and
月
August
and
年
1967 是
東南亞國家聯盟
的成立
date
(
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
(
DayFn
1
(
MonthFn
September
(
YearFn
1951))))
Government.kif 2889-2889
天
1 and
月
September
and
年
1951 是
澳大利亞新西蘭美國安全條約
的成立
date
(
dateEstablished
BankForInternationalSettlements
(
DayFn
20
(
MonthFn
January
(
YearFn
1930))))
Government.kif 2895-2895
天
20 and
月
January
and
年
1930 是
國際結算銀行
的成立
date
(
dateEstablished
BeneluxEconomicUnion
(
DayFn
3
(
MonthFn
February
(
YearFn
1958))))
Government.kif 2901-2901
天
3 and
月
February
and
年
1958 是
比荷盧經濟聯盟
的成立
date
(
dateEstablished
BlackSeaEconomicCooperationZone
(
DayFn
25
(
MonthFn
June
(
YearFn
1992))))
Government.kif 2921-2921
天
25 and
月
June
and
年
1992 是
黑海經濟合作區
的成立
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