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
birthdate
の数値 1 引数は
人[人間]
の
instance
では %n
(
domain
birthdate
2
Day
)
Mid-level-ontology.kif 24268-24268
birthdate
の数値 2 引数は
日
の
instance
では %n
(
instance
birthdate
BinaryPredicate
)
Mid-level-ontology.kif 24266-24266
birthdate
は
2進述語
の
instance
では %n
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
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
日
整数
birthday
人[人間]
and
日
日
は
日
の
subclass
では %n
整数
は
整数
の
instance
では %n
日
は
正の整数
day
目 と
equal
では %n
整数
は
整数
より
greater
では %n
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
birthdate
JesusOfNazareth
and
日
時間間隔
は -6
year
目 の
instance
では %n
時間間隔
は 4
year
目 の
instance
では %n
日
は
時間間隔
の
beginning
と
時間間隔
の
end
の
interval
の
part
では %n
(=>
(
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
では %n は
時間間隔
の
during
holds %n{ない}
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
実数
は (49 +
整数
) と
equal
では %n
実数
は (52 +
整数
) と
equal
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
ステートメント
時点
は
実数
より
greater
では %n
実数
は
時点
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
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
では %n
人[人間]
は
工程
の
patient
では %n
人[人間]
は
Boy
の
instance
では %n
人[人間]
は
コレクション
の
member
では %n
コレクション
は
Judaism
の
instance
では %n
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
整数
時間位置
整数
は
整数
の
instance
では %n
整数
は (
整数
+ 13) と
equal
では %n
時間位置
は
正の整数
day
目 の
instance
では %n
工程
の
time
の existence は
時間位置
の すぐ
after
と
equal
では %n
(=>
(
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
では %n
人[人間]
は
工程
の
patient
では %n
人[人間]
は
Girl
の
instance
では %n
人[人間]
は
コレクション
の
member
では %n
コレクション
は
Judaism
の
instance
では %n
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
整数
時間位置
整数
は
整数
の
instance
では %n
整数
は (
整数
+ 13) と
equal
では %n
時間位置
は
正の整数
day
目 の
instance
では %n
工程
の
time
の existence は
時間位置
の すぐ
after
と
equal
では %n
(=>
(
birthdate
?P ?D)
(
exists
(?B)
(
and
(
instance
?B
Birth
)
(
experiencer
?B ?P)
(
date
?B ?D))))
Mid-level-ontology.kif 24270-24276
birthdate
人[人間]
and
日
工程
工程
は
出生
の
instance
では %n
人[人間]
が
工程
を
experience
s %n{ない}
工程
の
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
ContentBearingPhysical
は
BirthCertificate
の
instance
では %n
工程
は
出生
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
containsFormula
ContentBearingPhysical
and
エンティティー
エンティティー
and
エンティティー
birthdate
AutonomousAgent
and
エンティティー
エンティティー
は
日
の
instance
では %n
birthplace
AutonomousAgent
and
エンティティー
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
AutonomousAgent
を
express
es %n{ない}
エンティティー
は
Name
の
instance
では %n
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