Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
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 25874-25884
If
a day
is a
birthdate
of
a human
and
the day
is an
instance
of the
day
a positive integer
of month the
month
a kind of month
,
then there exist
another kind of day
and
an integer
such that
the human
's
birthday
is
another kind of day
and
the other kind of day
is a
subclass
of
day
and
the integer
is an
instance
of
integer
and
equal
the other kind of day
and the
day
the positive integer
of month the
month
a kind of month
and
the integer
is
greater
than
another integer
(=>
(
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 25833-25844
If
a physical
is an
instance
of
wedding
and
date
of
the physical
is
a day
and
the day
is an
instance
of the
day
a positive integer
of month the
month
a kind of month
,
then there exist
another kind of day
and
an integer
such that
wedding anniversary
the physical
and
another kind of day
and
the other kind of day
is a
subclass
of
day
and
the integer
is an
instance
of
integer
and
equal
the other kind of day
and the
day
the positive integer
of month the
month
a kind of month
and
the integer
is
greater
than
another integer
(
subclass
Day
TimeInterval
)
Merge.kif 9365-9365
Day
is a
subclass
of
time interval
(
subclass
Monday
Day
)
Merge.kif 9375-9375
Monday
is a
subclass
of
day
(
subclass
Tuesday
Day
)
Merge.kif 9387-9387
Tuesday
is a
subclass
of
day
(
subclass
Wednesday
Day
)
Merge.kif 9400-9400
Wednesday
is a
subclass
of
day
(
subclass
Thursday
Day
)
Merge.kif 9413-9413
Thursday
is a
subclass
of
day
(
subclass
Friday
Day
)
Merge.kif 9426-9426
Friday
is a
subclass
of
day
(
subclass
Saturday
Day
)
Merge.kif 9439-9439
Saturday
is a
subclass
of
day
(
subclass
Sunday
Day
)
Merge.kif 9452-9452
Sunday
is a
subclass
of
day
(
subclass
ChristmasDay
Day
)
Media.kif 335-335
Christmas day
is a
subclass
of
day
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
