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
DayFn
Sigma KEE - DayFn
DayFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2760-2763
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8592-8597
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1488-1492
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8588-8588
O argumento numero 1 de
DayFn
e' uma
instancia
de
Inteiro positivo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8589-8589
O argumento numero 2 de
DayFn
e' uma
sub
-classe de
Mes
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8586-8586
DayFn
e' uma
instancia
de
Funcao Binaria
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8587-8587
DayFn
e' uma
instancia
de
Relacao Parcial
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8585-8585
DayFn
e' uma
instancia
de
Relacao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8590-8590
Os valores retornados por
DayFn
sao as
sub
-classes de
Dia
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 469-469
No TPTP formula. May not be expressible in strict first order.
english_format.kif 475-475
No TPTP formula. May not be expressible in strict first order.
french_format.kif 271-271
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 65-65
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2061-2061
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 223-223
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 99-99
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 277-277
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 612-612
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 106-106
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 292-292
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 298-298
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 146-146
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9231-9231
Dia
e'
relacionado
internamente por SUMO a
DayFn
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 18660-18660
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 470-470
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 18659-18659
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 18658-18658
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 147-147
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24236-24246
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 23916-23932
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 8722-8729
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 8731-8736
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 14837-14846
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 8603-8608
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
(
Inteiro positivo
+
Inteiro positivo
) e'
igual
a 1
Intervalo Temporal
encontra
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 17206-17212
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
CentralTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 6)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17218-17224
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
EasternTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 5)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17194-17200
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
MountainTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 7)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17182-17188
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
PacificTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 8)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24195-24206
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.
Merge.kif 8599-8601
Entidade
e' uma
instancia
de o
dia
Inteiro positivo
Inteiro positivo
e'
menor
ou igual a 31
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24236-24246
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 14837-14846
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 24195-24206
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
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