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 8597-8605
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 8593-8593
O argumento numero 1 de
MonthFn
e' uma
sub
-classe de
Mes
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8594-8594
O argumento numero 2 de
MonthFn
e' uma
sub
-classe de
Ano
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8591-8591
MonthFn
e' uma
instancia
de
Funcao Binaria
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8592-8592
MonthFn
e' uma
instancia
de
Relacao Parcial
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8590-8590
MonthFn
e' uma
instancia
de
Relacao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8595-8595
Os valores retornados por
MonthFn
sao as
sub
-classes de
Mes
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 9066-9066
Mes
e'
relacionado
internamente por SUMO a
MonthFn
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.
chinese_format.kif 468-468
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 38486-38486
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 38485-38485
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 24235-24245
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Dia
Numero Inteiro
birthday
Humano
and
Dia
Dia
e' uma
sub
-classe de
Dia
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Dia
e'
igual
a o
dia
Inteiro positivo
Numero Inteiro
e'
maior
que
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Government.kif 612-617
commemoratesDate
Holiday
and o
dia
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de
Holiday
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Intervalo Temporal
nao acontence %n
antes
de
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Government.kif 619-625
commemoratesDate
Holiday
and o
dia
Inteiro positivo
Entidade
e' uma
instancia
de
Holiday
Holiday
e' uma
sub
-classe de
FixedHoliday
Numero Inteiro
e'
menor
ou igual a
Entidade
-YEAR
Entidade
e' uma
instancia
de o
dia
Inteiro positivo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23915-23931
Menopausal
e' um
atributo
de
Humano
vale
durante
Intervalo Temporal
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Numero Real
e'
igual
a (49 +
Numero Inteiro
)
Numero Real
e'
igual
a (52 +
Numero Inteiro
)
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
o argumento
Ponto no tempo
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Ponto no tempo
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8744-8751
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Inteiro positivo
e'
maior
que
Inteiro positivo
Ponto no tempo
comeca
antes
de
Ponto no tempo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8753-8758
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Inteiro positivo
e'
maior
que
Inteiro positivo
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14836-14845
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Posicao Temporal
e' uma &parte de
WeekBeforeFn
Posicao Temporal
Posicao Temporal
e' uma &parte de
WeekAfterFn
Posicao Temporal
Inteiro positivo
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Inteiro positivo
e'
igual
a (
Inteiro positivo
+ 7)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8728-8735
Intervalo Temporal
e' uma
instancia
de o
mes
Mes
Intervalo Temporal
e' uma
instancia
de o
mes
Mes
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
successorClass
Mes
and
Mes
Ponto no tempo
comeca
antes
de
Ponto no tempo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8737-8742
Intervalo Temporal
e' uma
instancia
de o
mes
Mes
Intervalo Temporal
e' uma
instancia
de o
mes
Mes
successorClass
Mes
and
Mes
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Biography.kif 69-85
Processo
e' uma
instancia
de
BarMitzvah
Humano
e' um
patient
de
Processo
Humano
e' uma
instancia
de
Boy
Humano
e'
membro
de
Colecao
Colecao
e' uma
instancia
de
Judaism
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Numero Inteiro
Posicao Temporal
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Numero Inteiro
e'
igual
a (
Numero Inteiro
+ 13)
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
tempo
de existencia de
Processo
e'
igual
a imediatemente
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Biography.kif 99-115
Processo
e' uma
instancia
de
BatMitzvah
Humano
e' um
patient
de
Processo
Humano
e' uma
instancia
de
Girl
Humano
e'
membro
de
Colecao
Colecao
e' uma
instancia
de
Judaism
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Numero Inteiro
Posicao Temporal
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Numero Inteiro
e'
igual
a (
Numero Inteiro
+ 13)
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
tempo
de existencia de
Processo
e'
igual
a imediatemente
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9095-9100
Intervalo Temporal
e' uma
instancia
de o
mes
Fevereiro
Entidade
e' uma
instancia
de
Entidade
EAR
Entidade
e' uma
instancia
de
Ano Bissexto
a
duracao
de
Intervalo Temporal
e' 29
DayDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9088-9093
Intervalo Temporal
e' uma
instancia
de o
mes
Fevereiro
Entidade
e' uma
instancia
de
Entidade
EAR
Entidade
e' uma
instancia
de
Ano Bissexto
a
duracao
de
Intervalo Temporal
e' 28
DayDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9130-9134
Intervalo Temporal
e' uma
instancia
de o
mes
Abril
Intervalo Temporal
e' uma
instancia
de o
mes
Maio
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9186-9190
Intervalo Temporal
e' uma
instancia
de o
mes
Agosto
Intervalo Temporal
e' uma
instancia
de o
mes
Setembro
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9243-9250
Intervalo Temporal
e' uma
instancia
de o
mes
Dezembro
Intervalo Temporal
e' uma
instancia
de o
mes
Janeiro
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9102-9106
Intervalo Temporal
e' uma
instancia
de o
mes
Fevereiro
Intervalo Temporal
e' uma
instancia
de o
mes
Marco
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9078-9082
Intervalo Temporal
e' uma
instancia
de o
mes
Janeiro
Intervalo Temporal
e' uma
instancia
de o
mes
Fevereiro
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9172-9176
Intervalo Temporal
e' uma
instancia
de o
mes
Julho
Intervalo Temporal
e' uma
instancia
de o
mes
Agosto
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9158-9162
Intervalo Temporal
e' uma
instancia
de o
mes
June
Intervalo Temporal
e' uma
instancia
de o
mes
Julho
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9116-9120
Intervalo Temporal
e' uma
instancia
de o
mes
Marco
Intervalo Temporal
e' uma
instancia
de o
mes
Abril
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9144-9148
Intervalo Temporal
e' uma
instancia
de o
mes
Maio
Intervalo Temporal
e' uma
instancia
de o
mes
June
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9229-9233
Intervalo Temporal
e' uma
instancia
de o
mes
Novembro
Intervalo Temporal
e' uma
instancia
de o
mes
Dezembro
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9215-9219
Intervalo Temporal
e' uma
instancia
de o
mes
Outubro
Intervalo Temporal
e' uma
instancia
de o
mes
Novembro
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9201-9205
Intervalo Temporal
e' uma
instancia
de o
mes
Setembro
Intervalo Temporal
e' uma
instancia
de o
mes
Outubro
Intervalo Temporal
encontra
Intervalo Temporal
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 24235-24245
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Dia
Numero Inteiro
birthday
Humano
and
Dia
Dia
e' uma
sub
-classe de
Dia
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Dia
e'
igual
a o
dia
Inteiro positivo
Numero Inteiro
e'
maior
que
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Government.kif 619-625
commemoratesDate
Holiday
and o
dia
Inteiro positivo
Entidade
e' uma
instancia
de
Holiday
Holiday
e' uma
sub
-classe de
FixedHoliday
Numero Inteiro
e'
menor
ou igual a
Entidade
-YEAR
Entidade
e' uma
instancia
de o
dia
Inteiro positivo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14836-14845
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Posicao Temporal
e' uma &parte de
WeekBeforeFn
Posicao Temporal
Posicao Temporal
e' uma &parte de
WeekAfterFn
Posicao Temporal
Inteiro positivo
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Inteiro positivo
e'
igual
a (
Inteiro positivo
+ 7)
No TPTP formula. May not be expressible in strict first order.
Biography.kif 69-85
Processo
e' uma
instancia
de
BarMitzvah
Humano
e' um
patient
de
Processo
Humano
e' uma
instancia
de
Boy
Humano
e'
membro
de
Colecao
Colecao
e' uma
instancia
de
Judaism
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Numero Inteiro
Posicao Temporal
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Numero Inteiro
e'
igual
a (
Numero Inteiro
+ 13)
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
tempo
de existencia de
Processo
e'
igual
a imediatemente
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Biography.kif 99-115
Processo
e' uma
instancia
de
BatMitzvah
Humano
e' um
patient
de
Processo
Humano
e' uma
instancia
de
Girl
Humano
e'
membro
de
Colecao
Colecao
e' uma
instancia
de
Judaism
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Numero Inteiro
Posicao Temporal
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Numero Inteiro
e'
igual
a (
Numero Inteiro
+ 13)
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
tempo
de existencia de
Processo
e'
igual
a imediatemente
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24194-24205
Fisico
e' uma
instancia
de
Wedding
a
data
de
Fisico
e'
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Dia
Numero Inteiro
weddingAnniversary
Fisico
and
Dia
Dia
e' uma
sub
-classe de
Dia
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Dia
e'
igual
a o
dia
Inteiro positivo
Numero Inteiro
e'
maior
que
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3003-3011
Entidade
e' uma
instancia
de
DeltaCovidVariant
Entidade
e' uma &parte de
Entidade
Covid19
e' um
atributo
de
Entidade
vale
durante
Numero Real
Numero Real
e'
maior
que o
mes
Dezembro
statement
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3192-3192
agreementAdoptionDate
AntarcticTreaty
and o
dia
1
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3193-3193
agreementEffectiveDate
AntarcticTreaty
and ?D e' uma
instancia
de o
dia
23
No TPTP formula. May not be expressible in strict first order.
Government.kif 2994-2994
dateDissolved
CoordinatingCommitteeOnExportControls
and o
dia
31
No TPTP formula. May not be expressible in strict first order.
Government.kif 3009-3009
dateDissolved
CouncilForMutualEconomicAssistance
and o
dia
1
No TPTP formula. May not be expressible in strict first order.
Government.kif 4145-4145
dateDissolved
UnitedNationsPreventiveDeploymentForce
and o
dia
25
No TPTP formula. May not be expressible in strict first order.
Government.kif 4285-4285
dateDissolved
WarsawPact
and o
dia
1
No TPTP formula. May not be expressible in strict first order.
Government.kif 2750-2750
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
and o
dia
6
No TPTP formula. May not be expressible in strict first order.
Government.kif 2757-2757
dateEstablished
AfricanDevelopmentBank
and o
dia
4
No TPTP formula. May not be expressible in strict first order.
Government.kif 2771-2771
dateEstablished
AgencyForTheFrenchSpeakingCommunity
and o
dia
20
No TPTP formula. May not be expressible in strict first order.
Government.kif 2778-2778
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
and o
dia
14
No TPTP formula. May not be expressible in strict first order.
Government.kif 2796-2796
dateEstablished
AndeanCommunityOfNations
and o
dia
26
No TPTP formula. May not be expressible in strict first order.
Government.kif 2801-2801
dateEstablished
AntarcticTreatyCouncil
and o
dia
23
No TPTP formula. May not be expressible in strict first order.
Government.kif 2812-2812
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
and o
dia
18
No TPTP formula. May not be expressible in strict first order.
Government.kif 2818-2818
dateEstablished
ArabCooperationCouncil
and o
dia
16
No TPTP formula. May not be expressible in strict first order.
Government.kif 2824-2824
dateEstablished
ArabFundForEconomicAndSocialDevelopment
and o
dia
16
No TPTP formula. May not be expressible in strict first order.
Government.kif 2833-2833
dateEstablished
ArabLeague
and o
dia
22
No TPTP formula. May not be expressible in strict first order.
Government.kif 2842-2842
dateEstablished
ArabMaghrebUnion
and o
dia
17
No TPTP formula. May not be expressible in strict first order.
Government.kif 2851-2851
dateEstablished
ArabMonetaryFund
and o
dia
27
No TPTP formula. May not be expressible in strict first order.
Government.kif 2857-2857
dateEstablished
AsiaPacificEconomicCooperation
and o
dia
7
No TPTP formula. May not be expressible in strict first order.
Government.kif 2863-2863
dateEstablished
AsianDevelopmentBank
and o
dia
19
No TPTP formula. May not be expressible in strict first order.
Government.kif 2869-2869
dateEstablished
AssociationOfSoutheastAsianNations
and o
dia
8
No TPTP formula. May not be expressible in strict first order.
Government.kif 2889-2889
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
and o
dia
1
No TPTP formula. May not be expressible in strict first order.
Government.kif 2895-2895
dateEstablished
BankForInternationalSettlements
and o
dia
20
No TPTP formula. May not be expressible in strict first order.
Government.kif 2901-2901
dateEstablished
BeneluxEconomicUnion
and o
dia
3
No TPTP formula. May not be expressible in strict first order.
Government.kif 2921-2921
dateEstablished
BlackSeaEconomicCooperationZone
and o
dia
25
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