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
YearFn
Sigma KEE - YearFn
YearFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2749-2753
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8558-8566
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1475-1480
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8555-8555
O argumento numero 1 de
YearFn
e' uma
instancia
de
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8552-8552
YearFn
e' uma
instancia
de
Relacao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8554-8554
YearFn
e' uma
instancia
de
Relacao Total
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8553-8553
YearFn
e' uma
instancia
de
funcao Unaria
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8556-8556
Os valores retornados por
YearFn
sao as
sub
-classes de
Ano
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 465-465
No TPTP formula. May not be expressible in strict first order.
english_format.kif 471-471
No TPTP formula. May not be expressible in strict first order.
french_format.kif 269-269
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 317-317
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2059-2059
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 221-221
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 275-275
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 608-608
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 351-351
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 290-290
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 296-296
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 509-509
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8739-8739
Ano
e'
relacionado
internamente por SUMO a
YearFn
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 63757-63757
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 466-466
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 63756-63756
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 63755-63755
antecedent
No TPTP formula. May not be expressible in strict first order.
People.kif 357-390
Ano
e' uma
instancia
de o
ano
Ano
EAR
MaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 82-97
Ano
e' uma
instancia
de o
ano
Numero Inteiro
BirthsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
PopulationFn
Area Geopolitica
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 118-133
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
PopulationFn
Area Geopolitica
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 238-264
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandLiveBirthsFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 403-436
Ano
e' uma
instancia
de o
ano
Numero Inteiro
FemaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 310-342
Ano
e' uma
instancia
de o
ano
Numero Inteiro
LifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 156-187
Ano
e' uma
instancia
de o
ano
Numero Inteiro
MigrantsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
(
Numero Inteiro
+
Numero Inteiro
) e'
igual
a 1
Entidade
e' uma
instancia
de o
ano
Numero Inteiro
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Ano
Numero Real
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(
Numero Inteiro
+
Numero Inteiro
) e'
igual
a
Numero Real
Numero Real
+
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 52-64
Ano
e' uma
instancia
de o
ano
Numero Inteiro
PopulationGrowthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
(
Numero Inteiro
+
Numero Inteiro
P) e'
igual
a 1
Posicao Temporal
e' uma
instancia
de o
ano
Numero Inteiro
P
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Ano
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Posicao Temporal
Numero Real
+
Numero Real
e'
igual
a
Numero Real
(
Numero Real
+ 1) e'
igual
a
Numero Real
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.
Media.kif 1936-1941
birthdate
JesusOfNazareth
and
Dia
Intervalo Temporal
e' uma
instancia
de o
ano
-6
Intervalo Temporal
e' uma
instancia
de o
ano
4
Dia
e' uma &parte de o
intervalo
entre o
comeco
de
Intervalo Temporal
e o
fim
de
Intervalo Temporal
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.
Media.kif 1943-1948
deathdate
JesusOfNazareth
and
Dia
Intervalo Temporal
e' uma
instancia
de o
ano
29
Intervalo Temporal
e' uma
instancia
de o
ano
36
Dia
e' uma &parte de o
intervalo
entre o
comeco
de
Intervalo Temporal
e o
fim
de
Intervalo Temporal
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 9001-9009
Entidade
e' uma
instancia
de
Ano Bissexto
Entidade
e' uma
instancia
de o
ano
Numero Inteiro
Numero Inteiro
mod
4 e'
igual
a 0
Numero Inteiro
mod
100 e'
igual
a 0
Numero Inteiro
mod
400 e'
igual
a 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8706-8713
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 8715-8720
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 8980-8985
Intervalo Temporal
e' uma
instancia
de
QuarterYear
Intervalo Temporal
e' uma
instancia
de
QuarterFn
Inteiro positivo
and o
ano
Numero Inteiro
Numero Inteiro
I e' uma
instancia
de o
ano
Numero Inteiro
Intervalo Temporal
acontece
durante
Numero Inteiro
I
No TPTP formula. May not be expressible in strict first order.
Media.kif 1959-1963
Intervalo Temporal
e' uma
instancia
de o
ano
26
Intervalo Temporal
e' uma
instancia
de o
ano
100
tempo
de existencia de
TwelveApostles
e' uma &parte de o
intervalo
entre o
comeco
de
Intervalo Temporal
e o
fim
de
Intervalo 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)
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.
People.kif 156-187
Ano
e' uma
instancia
de o
ano
Numero Inteiro
MigrantsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
(
Numero Inteiro
+
Numero Inteiro
) e'
igual
a 1
Entidade
e' uma
instancia
de o
ano
Numero Inteiro
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Ano
Numero Real
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(
Numero Inteiro
+
Numero Inteiro
) e'
igual
a
Numero Real
Numero Real
+
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 52-64
Ano
e' uma
instancia
de o
ano
Numero Inteiro
PopulationGrowthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
(
Numero Inteiro
+
Numero Inteiro
P) e'
igual
a 1
Posicao Temporal
e' uma
instancia
de o
ano
Numero Inteiro
P
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Ano
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Posicao Temporal
Numero Real
+
Numero Real
e'
igual
a
Numero Real
(
Numero Real
+ 1) e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 968-975
yearOfFounding
Organizacao
and
Numero Inteiro
Processo
Numero Inteiro
EAR
Numero Inteiro
EAR
engloba
tempo
de existencia de
Processo
Numero Inteiro
EAR e' uma
instancia
de o
ano
Numero Inteiro
Processo
e' uma
instancia
de
Founding
Organizacao
e' o
resultado
de
Processo
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
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 960-963
yearOfFounding
Organizacao
and
Numero Inteiro
dateEstablished
Organizacao
and o
ano
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.
People.kif 456-469
Ano
e' uma
instancia
de o
ano
Numero Inteiro
ChildrenBornPerWomanFn
Area Geopolitica
and
Ano
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
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 2877-2877
dateEstablished
ASEANRegionalForum
and o
ano
1994
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 2883-2883
dateEstablished
AustraliaGroup
and o
ano
1984
No TPTP formula. May not be expressible in strict first order.
Government.kif 2889-2889
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
and o
dia
1
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