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
MonthFn
Sigma KEE - MonthFn
MonthFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2754-2759
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8611-8619
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1481-1487
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8607-8607
The number 1 argument of
month
is a
subclass
of
month
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8608-8608
The number 2 argument of
month
is a
subclass
of
year
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8605-8605
Month
is an
instance
of
binary function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8606-8606
Month
is an
instance
of
partial valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8604-8604
Month
is an
instance
of
temporal relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8609-8609
The values returned by
month
are
subclasses
of
month
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 467-467
No TPTP formula. May not be expressible in strict first order.
english_format.kif 473-473
No TPTP formula. May not be expressible in strict first order.
french_format.kif 270-270
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 194-194
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2060-2060
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 222-222
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 276-276
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 610-610
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 232-232
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 291-291
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 297-297
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 373-373
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9080-9080
Month
is
internally
related to
month
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 38489-38489
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 468-468
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 38488-38488
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 38487-38487
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 374-374
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24293-24303
If
a day
is a
birthdate
of
a human
and
the day
is an
instance
of the
day
a positive integer
,
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
the other kind of day
is
equal
to the
day
the positive integer
and
the integer
is
greater
than
another integer
No TPTP formula. May not be expressible in strict first order.
Government.kif 576-581
If the
day
a positive integer
is a
commemorates
date of
a kind of holiday
and
a time interval
is an
instance
of
a kind of holiday
and
another time interval
is an
instance
of the
year
an integer
,
then
the time interval
doesn't happen
earlier
than
the other time interval
No TPTP formula. May not be expressible in strict first order.
Government.kif 583-589
If the
day
a positive integer
is a
commemorates
date of
a kind of holiday
and
an entity
is an
instance
of
a kind of holiday
and
the kind of holiday
is a
subclass
of
fixed holiday
and
an integer
is
less
than or equal to
another entity
-YEAR,
then
the entity
is an
instance
of the
day
the positive integer
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23973-23989
If
menopause
is an
attribute
of
a human
holds
during
a time interval
and
a day
is a
birthdate
of
the human
and
the day
is an
instance
of the
day
a positive integer
and
a real number
is
equal
to (49 and
an integer
) and
another real number
is
equal
to (52 and
the integer
) and
a time point
is
equal
to the
beginning
of
the time interval
,
then the statement
the time point
is
greater
than
the real number
and
the other real number
is
greater
than
the time point
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8758-8765
If
a time interval
is an
instance
of the
day
a positive integer
and
another time interval
is an
instance
of the
day
another positive integer
and
a time point
is
equal
to the
beginning
of
the time interval
and
another time point
is
equal
to the
beginning
of
the other time interval
and
the other positive integer
is
greater
than
the positive integer
,
then
the time point
happens
before
the other time point
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8767-8772
If
a time interval
is an
instance
of the
day
a positive integer
and
another time interval
is an
instance
of the
day
another positive integer
and
the other positive integer
is
greater
than
the positive integer
,
then
the time interval
happens
earlier
than
the other time interval
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14864-14873
If
a time position
is an
instance
of the
day
a positive integer
and
another time position
is a
part
of
week before fn
the time position
and
the time position
is a
part
of
week after fn
the other time position
,
then there exists
another positive integer
such that
the other time position
is an
instance
of the
day
the other positive integer
and
the other positive integer
is
equal
to (
the positive integer
and 7)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8742-8749
If
a time interval
is an
instance
of the
month
a kind of month
and
another time interval
is an
instance
of the
month
another kind of month
and
a time point
is
equal
to the
beginning
of
the time interval
and
another time point
is
equal
to the
beginning
of
the other time interval
and
another kind of month
is the
successor
class of
a kind of month
.,
then
the time point
happens
before
the other time point
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8751-8756
If
a time interval
is an
instance
of the
month
a kind of month
and
another time interval
is an
instance
of the
month
another kind of month
and
another kind of month
is the
successor
class of
a kind of month
.,
then
the time interval
happens
earlier
than
the other time interval
No TPTP formula. May not be expressible in strict first order.
Biography.kif 69-85
If
a process
is an
instance
of
BarMitzvah
and
a human
is a
patient
of
the process
and
the human
is an
instance
of
boy
and
the human
is a
member
of
a collection
and
the collection
is an
instance
of
judaism
and
a day
is a
birthdate
of
the human
and
the day
is an
instance
of the
day
a positive integer
,
then there exist
an integer
and
a time position
such that
the integer
is an
instance
of
integer
and
the integer
is
equal
to (
another integer
and 13) and
the time position
is an
instance
of the
day
the positive integer
and the
time
of existence of
the process
is
equal
to immediately
after
the time position
No TPTP formula. May not be expressible in strict first order.
Biography.kif 99-115
If
a process
is an
instance
of
BatMitzvah
and
a human
is a
patient
of
the process
and
the human
is an
instance
of
girl
and
the human
is a
member
of
a collection
and
the collection
is an
instance
of
judaism
and
a day
is a
birthdate
of
the human
and
the day
is an
instance
of the
day
a positive integer
,
then there exist
an integer
and
a time position
such that
the integer
is an
instance
of
integer
and
the integer
is
equal
to (
another integer
and 13) and
the time position
is an
instance
of the
day
the positive integer
and the
time
of existence of
the process
is
equal
to immediately
after
the time position
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9109-9114
If
a time interval
is an
instance
of the
month
February
and
an entity
is an
instance
of
the entity
EAR and
the entity
is an
instance
of
leap year
,
then
duration
of
the time interval
is 29
day duration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9102-9107
If
a time interval
is an
instance
of the
month
February
and
an entity
is an
instance
of
the entity
EAR and
the entity
is not an
instance
of
leap year
,
then
duration
of
the time interval
is 28
day duration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9144-9148
If
a time interval
is an
instance
of the
month
April
and
another time interval
is an
instance
of the
month
May
,
then
the time interval
meet
s
the other time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9200-9204
If
a time interval
is an
instance
of the
month
August
and
another time interval
is an
instance
of the
month
September
,
then
the time interval
meet
s
the other time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9257-9264
If
a time interval
is an
instance
of the
month
December
and
another time interval
is an
instance
of the
month
January
and
a third time interval
is an
instance
of
a kind of year
and
a fourth time interval
is an
instance
of
another kind of year
and
the third time interval
meet
s
the fourth time interval
,
then
the time interval
meet
s
the other time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9116-9120
If
a time interval
is an
instance
of the
month
February
and
another time interval
is an
instance
of the
month
March
,
then
the time interval
meet
s
the other time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9092-9096
If
a time interval
is an
instance
of the
month
January
and
another time interval
is an
instance
of the
month
February
,
then
the time interval
meet
s
the other time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9186-9190
If
a time interval
is an
instance
of the
month
July
and
another time interval
is an
instance
of the
month
August
,
then
the time interval
meet
s
the other time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9172-9176
If
a time interval
is an
instance
of the
month
June
and
another time interval
is an
instance
of the
month
July
,
then
the time interval
meet
s
the other time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9130-9134
If
a time interval
is an
instance
of the
month
March
and
another time interval
is an
instance
of the
month
April
,
then
the time interval
meet
s
the other time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9158-9162
If
a time interval
is an
instance
of the
month
May
and
another time interval
is an
instance
of the
month
June
,
then
the time interval
meet
s
the other time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9243-9247
If
a time interval
is an
instance
of the
month
November
and
another time interval
is an
instance
of the
month
December
,
then
the time interval
meet
s
the other time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9229-9233
If
a time interval
is an
instance
of the
month
October
and
another time interval
is an
instance
of the
month
November
,
then
the time interval
meet
s
the other time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9215-9219
If
a time interval
is an
instance
of the
month
September
and
another time interval
is an
instance
of the
month
October
,
then
the time interval
meet
s
the other time interval
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24293-24303
If
a day
is a
birthdate
of
a human
and
the day
is an
instance
of the
day
a positive integer
,
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
the other kind of day
is
equal
to the
day
the positive integer
and
the integer
is
greater
than
another integer
No TPTP formula. May not be expressible in strict first order.
Government.kif 583-589
If the
day
a positive integer
is a
commemorates
date of
a kind of holiday
and
an entity
is an
instance
of
a kind of holiday
and
the kind of holiday
is a
subclass
of
fixed holiday
and
an integer
is
less
than or equal to
another entity
-YEAR,
then
the entity
is an
instance
of the
day
the positive integer
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14864-14873
If
a time position
is an
instance
of the
day
a positive integer
and
another time position
is a
part
of
week before fn
the time position
and
the time position
is a
part
of
week after fn
the other time position
,
then there exists
another positive integer
such that
the other time position
is an
instance
of the
day
the other positive integer
and
the other positive integer
is
equal
to (
the positive integer
and 7)
No TPTP formula. May not be expressible in strict first order.
Biography.kif 69-85
If
a process
is an
instance
of
BarMitzvah
and
a human
is a
patient
of
the process
and
the human
is an
instance
of
boy
and
the human
is a
member
of
a collection
and
the collection
is an
instance
of
judaism
and
a day
is a
birthdate
of
the human
and
the day
is an
instance
of the
day
a positive integer
,
then there exist
an integer
and
a time position
such that
the integer
is an
instance
of
integer
and
the integer
is
equal
to (
another integer
and 13) and
the time position
is an
instance
of the
day
the positive integer
and the
time
of existence of
the process
is
equal
to immediately
after
the time position
No TPTP formula. May not be expressible in strict first order.
Biography.kif 99-115
If
a process
is an
instance
of
BatMitzvah
and
a human
is a
patient
of
the process
and
the human
is an
instance
of
girl
and
the human
is a
member
of
a collection
and
the collection
is an
instance
of
judaism
and
a day
is a
birthdate
of
the human
and
the day
is an
instance
of the
day
a positive integer
,
then there exist
an integer
and
a time position
such that
the integer
is an
instance
of
integer
and
the integer
is
equal
to (
another integer
and 13) and
the time position
is an
instance
of the
day
the positive integer
and the
time
of existence of
the process
is
equal
to immediately
after
the time position
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24252-24263
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
,
then there exist
another kind of day
and
an integer
such that
weddingAnniversary
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
the other kind of day
is
equal
to the
day
the positive integer
and
the integer
is
greater
than
another integer
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3003-3011
If
an entity
is an
instance
of
delta
and
the entity
is a
part
of
another entity
and
Covid
is an
attribute
of
the other entity
holds
during
a real number
,
then
the real number
is
greater
than the
month
December
statement
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3192-3192
The
day
1 is an
agreement
adoption date of
antarctic treaty
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3193-3193
?D is an
instance
of the
day
23 is an
agreement
effective date of
antarctic treaty
No TPTP formula. May not be expressible in strict first order.
Government.kif 2958-2958
The
day
31 is a
date
dissolved of
coordinating committee on export controls
No TPTP formula. May not be expressible in strict first order.
Government.kif 2973-2973
The
day
1 is a
date
dissolved of
council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order.
Government.kif 4109-4109
The
day
25 is a
date
dissolved of
united nations preventive deployment force
No TPTP formula. May not be expressible in strict first order.
Government.kif 4249-4249
The
day
1 is a
date
dissolved of
warsaw pact
No TPTP formula. May not be expressible in strict first order.
Government.kif 2714-2714
The
day
6 is a
date
established of
african caribbean and pacific group of states
No TPTP formula. May not be expressible in strict first order.
Government.kif 2721-2721
The
day
4 is a
date
established of
african development bank
No TPTP formula. May not be expressible in strict first order.
Government.kif 2735-2735
The
day
20 is a
date
established of
agency for the french speaking community
No TPTP formula. May not be expressible in strict first order.
Government.kif 2742-2742
The
day
14 is a
date
established of
agency for the prohibition of nuclear weapons in latin america and the caribbean
No TPTP formula. May not be expressible in strict first order.
Government.kif 2760-2760
The
day
26 is a
date
established of
andean community of nations
No TPTP formula. May not be expressible in strict first order.
Government.kif 2765-2765
The
day
23 is a
date
established of
antarctic treaty council
No TPTP formula. May not be expressible in strict first order.
Government.kif 2776-2776
The
day
18 is a
date
established of
arab bank for economic development in africa
No TPTP formula. May not be expressible in strict first order.
Government.kif 2782-2782
The
day
16 is a
date
established of
arab cooperation council
No TPTP formula. May not be expressible in strict first order.
Government.kif 2788-2788
The
day
16 is a
date
established of
arab fund for economic and social development
No TPTP formula. May not be expressible in strict first order.
Government.kif 2797-2797
The
day
22 is a
date
established of
arab league
No TPTP formula. May not be expressible in strict first order.
Government.kif 2806-2806
The
day
17 is a
date
established of
arab maghreb union
No TPTP formula. May not be expressible in strict first order.
Government.kif 2815-2815
The
day
27 is a
date
established of
arab monetary fund
No TPTP formula. May not be expressible in strict first order.
Government.kif 2821-2821
The
day
7 is a
date
established of
asia pacific economic cooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2827-2827
The
day
19 is a
date
established of
asian development bank
No TPTP formula. May not be expressible in strict first order.
Government.kif 2833-2833
The
day
8 is a
date
established of
association of southeast asian nations
No TPTP formula. May not be expressible in strict first order.
Government.kif 2853-2853
The
day
1 is a
date
established of
australia new zealand united states security treaty
No TPTP formula. May not be expressible in strict first order.
Government.kif 2859-2859
The
day
20 is a
date
established of
bank for international settlements
No TPTP formula. May not be expressible in strict first order.
Government.kif 2865-2865
The
day
3 is a
date
established of
benelux economic union
No TPTP formula. May not be expressible in strict first order.
Government.kif 2885-2885
The
day
25 is a
date
established of
black sea economic cooperation zone
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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