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
Die Zahl 1 Argument von
birthdate
ist ein
fall
von
Human
%n{nicht}
(
domain
birthdate
2
Day
)
Mid-level-ontology.kif 24268-24268
Die Zahl 2 Argument von
birthdate
ist ein
fall
von
Day
%n{nicht}
(
instance
birthdate
BinaryPredicate
)
Mid-level-ontology.kif 24266-24266
birthdate
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
birthdate
Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
** ** Day
und
Integer
um
birthday
** Human
and
** ** Day
und
** ** ** Day
ist eine
teilkategorie
von
Day
und
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** ** ** Day
ist gleich der
tag
** PositiveInteger
%n{nicht} und
** Integer
ist
groesserAls
** Integer
%n{nicht}
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
Wenn
birthdate
JesusOfNazareth
and
Day
und
TimeInterval
ist ein
fall
von das
jahr
-6 %n{nicht} und
** TimeInterval
ist ein
fall
von das
jahr
4 %n{nicht},
dann
** Day
ist ein
teil
von
abstand
zwischen der
anfang
von
** TimeInterval
und das
ende
von
** ** TimeInterval
%n{nicht}
(=>
(
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
Wenn
Menopausal
ist ein
attribut
von
Human
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
birthdate
** Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht} und
RealNumber
ist gleich (49 und
Integer
) %n{nicht} und
** RealNumber
ist gleich (52 und
** Integer
) %n{nicht} und
TimePoint
ist gleich der
anfang
von
** TimeInterval
%n{nicht},
dann die Aussage
** TimePoint
ist
groesserAls
** RealNumber
%n{nicht} und
** ** RealNumber
ist
groesserAls
** TimePoint
%n{nicht} hat die modale Kraft von
Likely
(=>
(
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
Wenn
Process
ist ein
fall
von
BarMitzvah
%n{nicht} und
Human
ist ein
patient
von
** Process
%n{nicht} und
** Human
ist ein
fall
von
Boy
%n{nicht} und
** Human
ist ein
Mitglied
von
Collection
%n{nicht} und
** Collection
ist ein
fall
von
Judaism
%n{nicht} und
birthdate
** Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
Integer
und
TimePosition
um
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** Integer
ist gleich (
** Integer
und 13) %n{nicht} und
** TimePosition
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich sofort
nach
** TimePosition
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
BatMitzvah
%n{nicht} und
Human
ist ein
patient
von
** Process
%n{nicht} und
** Human
ist ein
fall
von
Girl
%n{nicht} und
** Human
ist ein
Mitglied
von
Collection
%n{nicht} und
** Collection
ist ein
fall
von
Judaism
%n{nicht} und
birthdate
** Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
Integer
und
TimePosition
um
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** Integer
ist gleich (
** Integer
und 13) %n{nicht} und
** TimePosition
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich sofort
nach
** TimePosition
%n{nicht}
(=>
(
birthdate
?P ?D)
(
exists
(?B)
(
and
(
instance
?B
Birth
)
(
experiencer
?B ?P)
(
date
?B ?D))))
Mid-level-ontology.kif 24270-24276
Wenn
birthdate
Human
and
Day
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Birth
%n{nicht} und
** Human
erfaehrt
** Process
%n{nicht} und
datum
von
** Process
ist
** Day
%n{nicht}
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
Wenn
ContentBearingPhysical
ist ein
fall
von
BirthCertificate
%n{nicht} und
Process
ist ein
fall
von
Birth
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
containsFormula
** ContentBearingPhysical
and es gibt
entity
,
** entity
, and und
** entity
um
birthdate
** AutonomousAgent
and
** entity
und
** entity
ist ein
fall
von
Day
%n{nicht} und
birthplace
** AutonomousAgent
and
** ** entity
und
** ** entity
ist ein
fall
von
GeographicArea
%n{nicht} und
** ** entity
drueckt
** AutonomousAgent
aus und
** ** entity
ist ein
fall
von
Name
%n{nicht}
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