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
economyType
Sigma KEE - economyType
economyType
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Economy.kif 88-89
No TPTP formula. May not be expressible in strict first order.
Economy.kif 81-81
O argumento numero 1 de
economyType
e' uma
instancia
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Economy.kif 85-85
O argumento numero 2 de
economyType
e' uma
instancia
de
EconomicAttribute
No TPTP formula. May not be expressible in strict first order.
Economy.kif 80-80
economyType
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Economy.kif 86-86
economyType
e' uma
sub
-relacao de
attribute
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 828-828
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 827-827
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 826-826
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 21204-21204
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 21203-21203
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 21202-21202
antecedent
No TPTP formula. May not be expressible in strict first order.
Economy.kif 440-447
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
economyType
Area Geopolitica
and
LowIncomeCountry
vale
durante
Intervalo Temporal
Numero Real
perCapitaGDPInPeriod
Area Geopolitica
,
Numero Real
UnitedStatesDollar
(s) and
Intervalo Temporal
Numero Real
e'
menos
que 756.0
No TPTP formula. May not be expressible in strict first order.
Economy.kif 456-463
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
economyType
Area Geopolitica
and
LowerMiddleIncomeCountry
vale
durante
Intervalo Temporal
Numero Real
perCapitaGDPInPeriod
Area Geopolitica
,
Numero Real
UnitedStatesDollar
(s) and
Intervalo Temporal
Numero Real
e'
maior
ou igual a 756.0
No TPTP formula. May not be expressible in strict first order.
Economy.kif 465-472
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
economyType
Area Geopolitica
and
LowerMiddleIncomeCountry
vale
durante
Intervalo Temporal
Numero Real
perCapitaGDPInPeriod
Area Geopolitica
,
Numero Real
UnitedStatesDollar
(s) and
Intervalo Temporal
Numero Real
e'
menos
que 2996.0
No TPTP formula. May not be expressible in strict first order.
Economy.kif 481-488
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
economyType
Area Geopolitica
and
UpperMiddleIncomeCountry
vale
durante
Intervalo Temporal
Numero Real
perCapitaGDPInPeriod
Area Geopolitica
,
Numero Real
UnitedStatesDollar
(s) and
Intervalo Temporal
Numero Real
e'
maior
ou igual a 2996.0
No TPTP formula. May not be expressible in strict first order.
Economy.kif 490-497
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
economyType
Area Geopolitica
and
UpperMiddleIncomeCountry
vale
durante
Intervalo Temporal
Numero Real
perCapitaGDPInPeriod
Area Geopolitica
,
Numero Real
UnitedStatesDollar
(s) and
Intervalo Temporal
Numero Real
e'
menos
que 9267.0
No TPTP formula. May not be expressible in strict first order.
Economy.kif 91-95
economyType
AutonomousAgent
and
EconomicAttribute
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
AutonomousAgent
e' uma
instancia
de
Organizacao
consequent
No TPTP formula. May not be expressible in strict first order.
Economy.kif 865-869
CommunistState
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Nacao
economyType
AutonomousAgent
and
CentrallyPlannedEconomy
No TPTP formula. May not be expressible in strict first order.
Economy.kif 506-510
HighIncomeCountry
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
membro
de
OrganizationOfPetroleumExportingCountries
economyType
AutonomousAgent
and
DevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 189-191
FormerSovietOrEasternEuropeanCountry
e' um
atributo
de
AutonomousAgent
economyType
AutonomousAgent
and
CountryInTransition
No TPTP formula. May not be expressible in strict first order.
Economy.kif 388-390
FourDragonsEconomy
e' um
atributo
de
AutonomousAgent
economyType
AutonomousAgent
and
AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.
Economy.kif 384-386
FourDragonsEconomy
e' um
atributo
de
AutonomousAgent
economyType
AutonomousAgent
and
LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 432-434
LowIncomeCountry
e' um
atributo
de
AutonomousAgent
economyType
AutonomousAgent
and
LeastDevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 747-749
MajorIndustrialEconomy
e' um
atributo
de
AutonomousAgent
economyType
AutonomousAgent
and
AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.
Economy.kif 743-745
MajorIndustrialEconomy
e' um
atributo
de
AutonomousAgent
economyType
AutonomousAgent
and
DevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 879-881
PrivatizingEconomy
e' um
atributo
de
AutonomousAgent
economyType
AutonomousAgent
and
CountryInTransition
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Economy.kif 615-615
economyType
Afghanistan
and
DevelopingCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 231-231
economyType
Afghanistan
and
LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 574-574
economyType
Albania
and
CountryInTransition
No TPTP formula. May not be expressible in strict first order.
Economy.kif 616-616
economyType
Algeria
and
DevelopingCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 232-232
economyType
Algeria
and
LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 146-146
economyType
Andorra
and
DevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 617-617
economyType
Angola
and
DevelopingCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 233-233
economyType
Angola
and
LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 618-618
economyType
AntiguaAndBarbuda
and
DevelopingCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 234-234
economyType
AntiguaAndBarbuda
and
LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 619-619
economyType
Argentina
and
DevelopingCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 235-235
economyType
Argentina
and
LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 575-575
economyType
Armenia
and
CountryInTransition
No TPTP formula. May not be expressible in strict first order.
Economy.kif 620-620
economyType
Aruba
and
DevelopingCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 236-236
economyType
Aruba
and
LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 535-535
economyType
Australia
and
AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.
Economy.kif 147-147
economyType
Australia
and
DevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 536-536
economyType
Austria
and
AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.
Economy.kif 148-148
economyType
Austria
and
DevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 576-576
economyType
Azerbaijan
and
CountryInTransition
No TPTP formula. May not be expressible in strict first order.
Economy.kif 622-622
economyType
Bahrain
and
DevelopingCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 238-238
economyType
Bahrain
and
LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 623-623
economyType
Bangladesh
and
DevelopingCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 239-239
economyType
Bangladesh
and
LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Economy.kif 624-624
economyType
Barbados
and
DevelopingCountry
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