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
age
Sigma KEE - age
age
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2635-2636
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7521-7522
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1350-1351
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7519-7519
O argumento numero 2 de
age
e' uma
instancia
de
Duracao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7518-7518
age
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7516-7516
age
e' uma
instancia
de
Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7517-7517
age
e' uma
sub
-relacao de
measure
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 611-611
No TPTP formula. May not be expressible in strict first order.
english_format.kif 614-614
No TPTP formula. May not be expressible in strict first order.
french_format.kif 370-370
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 21-21
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2104-2104
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 55-55
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 800-800
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 66-66
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 392-392
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 411-411
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 58-58
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 612-612
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 5795-5795
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 5794-5794
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 59-59
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 1075-1084
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s) a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Government.kif 1003-1012
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s) a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 342-348
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
maior
que 12
Numero Real
e'
menos
que 20
Entidade
e' uma
instancia
de
Teenager
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 219-225
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
maior
ou igual a 18
Entidade
e' uma
instancia
de
HumanAdult
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 269-274
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menos
que 18
Entidade
e' uma
instancia
de
HumanYouth
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 392-397
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 1
Entidade
e' uma
instancia
de
HumanBaby
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 311-318
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 14
Entidade
e' uma
instancia
de
HumanChild
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4962-4968
Objeto
e' uma
instancia
de
Mutton
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Sheep
a
idade
de
Objeto
e'
Numero Real
MonthDuration
(s)
Numero Real
e'
maior
ou igual a 12
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7524-7528
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
a
idade
de
Fisico
e'
Duracao Temporal
vale
durante
Ponto no tempo
a
duracao
de o
intervalo
entre o
comeco
de
tempo
de existencia de
Fisico
e
Ponto no tempo
e'
Duracao Temporal
No TPTP formula. May not be expressible in strict first order.
Military.kif 852-860
militaryAge
Area Geopolitica
and
Numero Real
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Fisico
e'
membro
de
MilitaryOrganization
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Law.kif 554-571
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Processo
e'
situado
em
Area Geopolitica
2
Area Geopolitica
2 e' uma
instancia
de
Area Geopolitica
ageOfMajorityForProcess
Numero Real
YearDuration
(s),
Area Geopolitica
and
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
a
idade
de
Agente Cognitivo
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Processo
Legal
e' um
atributo
de
Agreement
No TPTP formula. May not be expressible in strict first order.
Government.kif 1176-1189
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Processo
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
Humano
No TPTP formula. May not be expressible in strict first order.
Government.kif 1120-1130
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
agent
No TPTP formula. May not be expressible in strict first order.
Government.kif 1052-1060
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Government.kif 980-988
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1078-1082
underageUser
Humano
and
WebSite
a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 18
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 193-199
Entidade
e' uma
instancia
de
HumanAdult
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
maior
ou igual a 18
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 375-380
Entidade
e' uma
instancia
de
HumanBaby
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 294-299
Entidade
e' uma
instancia
de
HumanChild
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 14
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 323-330
Entidade
e' uma
instancia
de
Teenager
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
maior
que 12
Numero Real
e'
menos
que 20
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 252-257
Entidade
e' uma
instancia
de
HumanYouth
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menos
que 18
consequent
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 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.
Government.kif 1132-1152
Humano
e' um
cidadao
de
Nacao
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
RegionalLawFn
Nacao
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
No TPTP formula. May not be expressible in strict first order.
Government.kif 1062-1073
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Numero Real
a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Government.kif 990-1001
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Numero Real
a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21147-21177
Proposicao
e' uma
instancia
de
Argument
Processo
e' uma
instancia
de
Raciocinar
Proposicao
e' uma
instancia
de
Archeology
Proposicao
e' uma &sub-proposicao de
Proposicao
Processo
exprime
o conteudo de
Proposicao
Processo
Entidade
,
Fisico
,
Numero Real
,
Entidade
and
Entidade
Processo
e' uma
instancia
de
Discovering
Fisico
e' uma
instancia
de
Objeto
Fisico
e' um
patient
de
Processo
Processo
inclui uma
referencia
a
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
que 50
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
BodyOfWater
Fisico
e'
Below
em relacao a
Entidade
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
Area terrestre
Fisico
e'
Below
em relacao a
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Military.kif 840-850
militaryAge
Area Geopolitica
and
Numero Real
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Fisico
e'
membro
de
MilitaryOrganization
Numero Real
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 2925-2940
numberSeniorOccupant
HotelReservation
and
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Numero Real
Colecao
e' uma
instancia
de
GroupOfPeople
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
HumanAdult
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 60
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Law.kif 573-588
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
ageOfMajorityForProcess
Numero Real
YearDuration
(s),
Area Geopolitica
and
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
e' um
atributo
de
Agreement
a
idade
de
Agente Cognitivo
e'
Numero Real
2
YearDuration
(s)
Numero Real
2 e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Government.kif 1211-1231
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
RegionalLawFn
Nacao
obriga
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
No TPTP formula. May not be expressible in strict first order.
Government.kif 1040-1050
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
Numero Real
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Government.kif 968-978
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
Numero Real
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 382-390
Entidade
e' uma
instancia
de
HumanBaby
vale
durante
Posicao Temporal
Entidade
a
idade
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de o
intervalo
entre 0
YearDuration
(s) e 1
YearDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 201-209
Entidade
e' uma
instancia
de
HumanAdult
vale
durante
Posicao Temporal
Entidade
a
idade
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de o
intervalo
entre 18
YearDuration
(s) e 120
YearDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 301-309
Entidade
e' uma
instancia
de
HumanChild
vale
durante
Posicao Temporal
Entidade
a
idade
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de o
intervalo
entre 0
YearDuration
(s) e 14
YearDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 259-267
Entidade
e' uma
instancia
de
HumanYouth
vale
durante
Posicao Temporal
Entidade
a
idade
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de o
intervalo
entre 0
YearDuration
(s) e 17
YearDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 332-340
Entidade
e' uma
instancia
de
Teenager
vale
durante
Posicao Temporal
Entidade
a
idade
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de o
intervalo
entre 13
YearDuration
(s) e 19
YearDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16248-16257
Colecao
e' uma
instancia
de
Grupo Etario
Fisico
Fisico
,
Duracao Temporal
and
Duracao Temporal
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
a
idade
de
Fisico
e'
Duracao Temporal
a
idade
de
Fisico
e'
Duracao Temporal
Duracao Temporal
e'
igual
a
Duracao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 405-411
older
Objeto
and
Objeto
Numero Real
Numero Real
and
Unidade de Medida
a
idade
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
idade
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Government.kif 1191-1209
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
RegionalLawFn
Area Geopolitica
obriga
Area Geopolitica
a executar tarefas de tipo
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' um
cidadao
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Entidade
YearDuration
(s) a
idade
de
Entidade
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Area Geopolitica
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Entidade
No TPTP formula. May not be expressible in strict first order.
Government.kif 1106-1118
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
Election
,
Numero Real
and
Numero Real
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
agent
statement
No TPTP formula. May not be expressible in strict first order.
Government.kif 1092-1103
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?AGENT e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?AGENT e'
capaz
de fazer
VotingFn
?ELECTION no role
agent
contem
informacao
UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order.
Government.kif 1160-1174
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?VOTER e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?VOTING ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
contem
informacao
CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order.
Military.kif 872-881
AvailableForMilitaryServiceMaleFn
Area Geopolitica
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.
Military.kif 895-906
FitForMilitaryServiceMaleFn
Area Geopolitica
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.
Military.kif 933-946
ReachingMilitaryAgeAnnuallyMaleFn
Area Geopolitica
and
Ano
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
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