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 24263-24264
(
domain
birthdate
1
Human
)
Mid-level-ontology.kif 24266-24266
出生日期
的 1 数量 是
人类
的
instance
(
domain
birthdate
2
Day
)
Mid-level-ontology.kif 24267-24267
出生日期
的 2 数量 是
日
的
instance
(
instance
birthdate
BinaryPredicate
)
Mid-level-ontology.kif 24265-24265
出生日期
是
二元谓语
的
instance
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 24235-24245
如果
日
是
人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
那个 人类
的
birthday
是
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
那个 另外 有点 日
equal
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
(=>
(
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
(
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 23915-23931
如果
Menopausal
是
人类
的
attribute
在
时距
holdsDuring
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
和
实数
equal
(49 和
整数
) 和
另一个 实数
equal
(52 和
那个 整数
) 和
时点
equal
那个 时距
的开始,
然后
那个 时点
是
greaterThan
那个 实数
和
那个 另外 实数
是
greaterThan
那个 时点
的声明 has
容易
的语气
(=>
(
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
(=>
(
birthdate
?P ?D)
(
exists
(?B)
(
and
(
instance
?B
Birth
)
(
experiencer
?B ?P)
(
date
?B ?D))))
Mid-level-ontology.kif 24269-24275
如果
日
是
人类
的
birthdate
,
然后 有存在
过程
这样
那个 过程
是
出生
的
instance
和
那个 人类
经历了
那个 过程
和
那个 过程
的
date
是
那个 日
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
如果
内容承载物理
是
出生证明
的
instance
和
过程
是
出生
的
instance
和
施事体
是
人类
的
instance
和
那个 施事体
经历了
那个 过程
,
然后
containsFormula
那个 内容承载物理
and 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
那个 施事体
的
birthdate
和
那个 实体
是
日
的
instance
和
那个 另外 实体
是
那个 施事体
的
birthplace
和
那个 另外 实体
是
地理区域
的
instance
和
那个 第三 实体
表达
那个 施事体
和
那个 第三 实体
是
Name
的
instance
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