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
CardinalityFn
Sigma KEE - CardinalityFn
CardinalityFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2309-2309
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5511-5513
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 980-981
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5508-5508
O argumento numero 1 de
CardinalityFn
e' uma
instancia
de a
uniao
de
Conjunto ou Classe
e
Colecao
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5507-5507
CardinalityFn
e' uma
instancia
de
funcao Unaria
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5509-5509
O
contra
-dominio de
CardinalityFn
e' uma instancia de
Numero Inteiro
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 506-506
No TPTP formula. May not be expressible in strict first order.
english_format.kif 511-511
No TPTP formula. May not be expressible in strict first order.
french_format.kif 296-296
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 41-41
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2073-2073
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 248-248
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 75-75
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 659-659
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 83-83
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 317-317
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 324-324
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 98-98
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 507-507
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13212-13212
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13211-13211
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13210-13210
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 99-99
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1007-1011
Entidade
e' uma
instancia
de
PersonalAccount
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
maior
que 1
Entidade
e' uma
instancia
de
JointAccount
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8045-8052
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de
CitizenryFn
Area Geopolitica
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
Numero Inteiro
e'
maior
ou igual a
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3239-3259
Colecao
e' uma
instancia
de
Colecao
Numero Real
e' uma
instancia
de
Medida de Divisa
Numero Inteiro
e' uma
instancia
de
Numero Real
Numero Real
e'
igual
a
GMBFn
Colecao
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
ABPFn
Colecao
e'
igual
a
Numero Real
+
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3282-3302
Colecao
e' uma
instancia
de
Colecao
Numero Real
e' uma
instancia
de
Medida de Divisa
Numero Inteiro
e' uma
instancia
de
Numero Real
Numero Real
e'
igual
a
GMVFn
Colecao
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
ASPFn
Colecao
e'
igual
a
Numero Real
+
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Government.kif 446-450
Conjunto ou Classe
e' uma
instancia
de
Conjunto ou Classe
o numero de
instancias
dentro de
Conjunto ou Classe
e'
igual
a
Numero Inteiro nao-negativo
cardinality
Conjunto ou Classe
and
Numero Inteiro nao-negativo
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 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 206-223
MaleToFemaleRatioFn
Area Geopolitica
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
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 829-836
chromosomeSetCount
MonoploidChromosomeSet
,
Colecao
and
Numero Inteiro
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Media.kif 2137-2150
exactCardinality
Relacao
,
Inteiro positivo
and
Numero Inteiro
Relacao
e' uma
instancia
de
Predicado
Classe
Entidade
and @ARGS
Classe
e' uma
instancia
de
Conjunto ou Classe
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e' uma
instancia
de
Classe
o numero de
instancias
dentro de
Classe
e'
igual
a
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 812-817
Area Geopolitica
e' uma
instancia
de
AmericanCity
Area Geopolitica
e' uma &parte de
California
Area Geopolitica
e'
igual
a
LosAngelesCalifornia
o numero de
instancias
dentro de
ResidentFn
LosAngelesCalifornia
e'
maior
que o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 59-65
Area Geopolitica
e' uma
instancia
de
Cidade
Area Geopolitica
e' uma &parte de
France
o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
e'
menor
ou igual a o numero de
instancias
dentro de
ResidentFn
Paris
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2887-2903
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Transacao Financeira
Sequencia Simbolica
Entidade
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
igual
a
BoughtItemsFn
Colecao
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2845-2870
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
WebListing
o numero de
instancias
dentro de
Entidade
Entidade
and
Entidade
a
classe
descrita por
Entidade
+ o numero de
instancias
dentro de
Colecao
e'
igual
a
BidCountFn
Colecao
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2922-2940
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
WebListing
Sequencia Simbolica
Entidade
,
Entidade
and
Sequencia Simbolica
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
igual
a
BidCountFn
Colecao
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12136-12142
Processo
e' uma
instancia
de
Contar
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Entidade
Agente Cognitivo
sabe
o numero de
instancias
dentro de
Entidade
e'
igual
a
Entidade
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3095-3114
Experimenting
e' uma
instancia
de
Experimenting
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
+ o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
igual
a
PPIFn
Experimenting
and
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3056-3073
Experimenting
e' uma
instancia
de
Experimenting
Entidade
e' uma
instancia
de
Intervalo Temporal
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
+ o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
igual
a
PPSFn
Experimenting
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9463-9467
Intervalo Temporal
e' uma
instancia
de
Mes
a
duracao
de
Intervalo Temporal
e'
Numero Inteiro
DayDuration
(s)
o numero de
instancias
dentro de
decomposicao
de
Intervalo Temporal
em
Dia
s e'
igual
a
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3721-3739
SearchResultsPage
e' uma
instancia
de
SearchResultsPage
Lista
e' uma
instancia
de
SRPResults
Lista
e' um
componente
de
SearchResultsPage
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
+
comprimento
de
Lista
e'
igual
a
SRPEngagementFn
SearchResultsPage
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 897-901
Area Geopolitica
e' uma
instancia
de
AmericanState
Area Geopolitica
e'
igual
a
California
o numero de
instancias
dentro de
ResidentFn
California
e'
maior
que o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3333-3356
Colecao
e' uma
instancia
de
Colecao
Objeto Corpuscular
e' uma
instancia
de
HypertextLink
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
AccessingWebPage
Colecao
e' um
componente
de
Objeto Corpuscular
Colecao
Colecao
e' uma
instancia
de
Colecao
Processo
Processo
e' uma
instancia
de
RequestingHyperlink
Objeto Corpuscular
e' um
patient
de
Processo
Processo
e'
membro
de
Colecao
ClickThroughRateFn
Colecao
and
Objeto Corpuscular
e'
igual
a o numero de
instancias
dentro de
Colecao
+ o numero de
instancias
dentro de
Colecao
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3668-3704
Colecao
e' uma
instancia
de
Colecao
Colecao
e' uma
instancia
de
Colecao
Colecao
e' uma
sub
-colecao de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
AccessingWebPage
Processo
AutonomousAgent
,
Processo
,
Processo
and
Objeto
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Comprar
Processo
e' uma
instancia
de
AccessingWebPage
Objeto
e' uma
instancia
de
WebPage
Processo
e'
membro
de
Colecao
Processo
termina
em
Objeto
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
tempo
de existencia de
Processo
Objeto
e' um
instrumento
para
Processo
Processo
e'
membro
de
Colecao
Intervalo Temporal
Entidade
_IN_INTERVAL and
Entidade
_IN_INTERVAL
SCRFn
Colecao
and
Intervalo Temporal
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Entidade
_IN_INTERVAL + o numero de
instancias
dentro de a
classe
descrita por
Entidade
_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.
Media.kif 2210-2223
maxCardinality
Relacao
,
Inteiro positivo
and
Numero Inteiro
Relacao
e' uma
instancia
de
Predicado
Classe
Entidade
and @ARGS
Classe
e' uma
instancia
de
Conjunto ou Classe
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e' uma
instancia
de
Classe
o numero de
instancias
dentro de
Classe
e'
menor
ou igual a
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Media.kif 2174-2187
minCardinality
Relacao
,
Inteiro positivo
and
Numero Inteiro
Relacao
e' uma
instancia
de
Predicado
Classe
Entidade
and @ARGS
Classe
e' uma
instancia
de
Conjunto ou Classe
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e' uma
instancia
de
Classe
o numero de
instancias
dentro de
Classe
e'
maior
ou igual a
Numero Inteiro
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
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.
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.
Merge.kif 14182-14182
O numero de
instancias
dentro de
Continente
e'
igual
a 7
No TPTP formula. May not be expressible in strict first order.
Media.kif 2003-2003
O numero de
instancias
dentro de
NativityMagi
e'
igual
a 3
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.
Mid-level-ontology.kif 31734-31739
OrganismPopulationFn
Organismo
and
Area Geografica
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Organismo
I
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31712-31717
PopulationFn
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
No TPTP formula. May not be expressible in strict first order.
Media.kif 1965-1965
O numero de
instancias
dentro de
TwelveApostles
e'
maior
ou igual a 11
No TPTP formula. May not be expressible in strict first order.
Media.kif 1966-1966
O numero de
instancias
dentro de
TwelveApostles
e'
menor
ou igual a 12
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
CardinalityFn