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
birthdate
Sigma KEE - birthdate
birthdate
appearance as argument number 1
(
documentation
birthdate
EnglishLanguage
"(birthdate ?PERSON ?DAY) means that ?DAY is the
Day
on which the ?PERSON was born.")
Mid-level-ontology.kif 24264-24265
(
domain
birthdate
1
Human
)
Mid-level-ontology.kif 24267-24267
域
出生日期
, 1 and
Human
(
domain
birthdate
2
Day
)
Mid-level-ontology.kif 24268-24268
域
出生日期
, 2 and
Day
(
instance
birthdate
BinaryPredicate
)
Mid-level-ontology.kif 24266-24266
例
出生日期
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
birthdate
"%2 %n 是 %1 的
birthdate
")
domainEnglishFormat.kif 308-308
(
format
ChineseTraditionalLanguage
birthdate
"%2 %n 是 %1 的
birthdate
")
domainEnglishFormat.kif 307-307
(
format
EnglishLanguage
birthdate
"%2 is %n a
birthdate
of %1")
domainEnglishFormat.kif 306-306
(
termFormat
ChineseLanguage
birthdate
"出生日期")
domainEnglishFormat.kif 11169-11169
(
termFormat
ChineseTraditionalLanguage
birthdate
"出生日期")
domainEnglishFormat.kif 11168-11168
(
termFormat
EnglishLanguage
birthdate
"birth date")
domainEnglishFormat.kif 11167-11167
(
termFormat
EnglishLanguage
birthdate
"birthdate")
domainEnglishFormat.kif 11170-11170
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
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
Day
是
JesusOfNazareth
的
birthdate
例
TimeInterval
and
年
-6
例
TimeInterval
and
年
4
時間部分
Day
and
時間間隔
開始
TimeInterval
and
結束
TimeInterval
(=>
(
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
?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
(=>
(
birthdate
?P ?D)
(
exists
(?B)
(
and
(
instance
?B
Birth
)
(
experiencer
?B ?P)
(
date
?B ?D))))
Mid-level-ontology.kif 24270-24276
Day
是
Human
的
birthdate
Process
例
Process
and
Birth
體驗者
Process
and
Human
日期
Process
and
Day
consequent
(=>
(
and
(
instance
?TEXT
BirthCertificate
)
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N)
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
Day
)
(
birthplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)))))
Biography.kif 250-264
例
內容承載物理
and
出生證明
例
Process
and
Birth
例
AutonomousAgent
and
Human
體驗者
Process
and
AutonomousAgent
containsFormula
內容承載物理
and
entity
entity
and
entity
entity
是
AutonomousAgent
的
birthdate
例
entity
and
Day
entity
是
AutonomousAgent
的
birthplace
例
entity
and
GeographicArea
代表
entity
and
AutonomousAgent
例
entity
and
Name
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