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
inList
Sigma KEE - inList
inList
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1973-1975
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3109-3111
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 605-607
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3106-3106
O argumento numero 1 de
inList
e' uma
instancia
de
Entidade
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3107-3107
O argumento numero 2 de
inList
e' uma
instancia
de
Lista
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3104-3104
inList
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3105-3105
inList
e' uma
instancia
de
Relacao Parcial
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 131-131
No TPTP formula. May not be expressible in strict first order.
english_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.
french_format.kif 87-87
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 147-147
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1914-1914
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 39-39
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 103-103
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 157-157
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 186-186
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 106-106
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 86-86
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 298-298
No TPTP formula. May not be expressible in strict first order.
Music.kif 332-332
albumTrack
e' uma
sub
-relacao de
inList
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30193-30193
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30192-30192
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30191-30191
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 47-47
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 299-299
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3286-3290
Numero Real
e'
igual
a
AverageFn
Lista
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
Numero
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2005-2017
Lista
e'
igual
a
Mean3SecondWindSpeedListFn
Area Geografica
and
Intervalo Temporal
Funcao de Quantidade
e' um
membro
de
Lista
Intervalo Temporal
LIST
Intervalo Temporal
Intervalo Temporal
LIST e'
igual
a
TimeIntervalListFn
Intervalo Temporal
and 3
SecondDuration
(s)
Intervalo Temporal
e' um
membro
de
Intervalo Temporal
LIST
Funcao de Quantidade
e'
igual
a
Mean3SecondWindSpeedFn
Area Geografica
and
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1998-2003
Lista
e'
igual
a
Mean3SecondWindSpeedListFn
Area Geografica
and
Intervalo Temporal
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.
Merge.kif 503-507
exhaustiveAttribute
Atributo
and @ROW
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Atributo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 497-501
exhaustiveAttribute
Atributo
and @ROW
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Atributo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7582-7587
Entidade
e' um
membro
de
Lista
Lista
e'
igual
a
AmountsFn
Substancia
,
Objeto Corpuscular
and
UnitOfMass
Entidade
e' uma
instancia
de
Numero Racional
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1975-1980
Intervalo Temporal
e' um
membro
de
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
e'
igual
a
TimeIntervalListFn
Intervalo Temporal
and
Duracao Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1966-1973
Entidade
e' um
membro
de
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
e'
igual
a
TimeIntervalListFn
Intervalo Temporal
and
Duracao Temporal
o
comeco
de
Intervalo Temporal
e'
igual
a o
comeco
de
FirstFn
ConsecutiveTimeIntervalList
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2491-2498
Entidade
e' um
membro
de
Lista
Lista
e' uma
instancia
de
SRPResults
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
SearchResultsPage
Lista
e' um
componente
de
Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2483-2489
Entidade
e' um
membro
de
Lista
Lista
e' uma
instancia
de
SRPResults
Entidade
e' uma
instancia
de
WebListing
Entidade
e' uma
instancia
de
WebPage
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1929-1933
Lista
e' uma
instancia
de
ConsecutiveTimeIntervalList
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1716-1720
Lista
e' uma
instancia
de
MeasuringList
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
Medir
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1784-1788
Lista
e' uma
instancia
de
MeasuringResultList
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1750-1754
Lista
e' uma
instancia
de
MeasuringSurfaceWindSpeedList
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
SurfaceWindSpeedMeasuring
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1819-1823
Lista
e' uma
instancia
de
NumberList
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
Numero
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2677-2682
Entidade
e' uma
instancia
de
IntentionalRelation
Entidade
Agente Cognitivo
and @ROW
Entidade
e' um
membro
de (@ROW)
Agente Cognitivo
esta'
interessado
em
Entidade
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1769-1775
locationMeasuringList
MeasuringList
and
Area Geografica
Processo
e' um
membro
de
MeasuringList
Processo
e' uma
instancia
de
Medir
eventLocated
Processo
and
Area Geografica
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1860-1864
measuringListInterval
MeasuringList
and
Duracao Temporal
Fisico
e' um
membro
de
MeasuringList
a
duracao
de
tempo
de existencia de
Fisico
e'
Duracao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16921-16929
Objeto
e'
Atributo Posicional
em relacao a
Objeto
@ROW e' &o oposto de
Atributo Posicional
e' um
membro
de (@ROW)
Atributo Posicional
e' um
membro
de (@ROW)
Atributo Posicional
e'
igual
a
Atributo Posicional
Objeto
e'
Atributo Posicional
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 694-710
processList
@ROW
Fisico
e' um
membro
de (@ROW)
Fisico
e' um
membro
de (@ROW)
Entidade
elemento
de (@ROW) e'
igual
a
Fisico
Entidade
elemento
de (@ROW) e'
igual
a
Fisico
Inteiro positivo
e'
menos
que
Inteiro positivo
tempo
de existencia de
Fisico
acontence
antes
de
tempo
de existencia de
Fisico
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 771-781
viewedItemList
AutonomousAgent
and
Lista
Processo
e' um
membro
de
Lista
Processo
e' uma
instancia
de
AccessingWebPage
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
e' uma
instancia
de
WebPage
Processo
termina
em
WebPage
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3113-3116
Entidade
e' um
membro
de
Lista
Inteiro positivo
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Entidade
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 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 272-293
average
Lista
and
Numero Real
Lista
Inteiro positivo
comprimento
de
Lista
e'
igual
a
comprimento
de
Lista
1th
elemento
de
Lista
e'
igual
a 1th
elemento
de
Lista
Inteiro positivo
Inteiro positivo
e' um
membro
de
Lista
Numero Real
Numero Real
MINUSONE,
Inteiro positivo
and
Inteiro positivo
Numero Real
e'
maior
que 1
Numero Real
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Numero Real
Inteiro positivo
e' um
membro
de
Lista
Numero Real
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
Inteiro positivo
e' um
membro
de
Lista
Numero Real
MINUSONE e'
igual
a (
Numero Real
+ 1)
Numero Real
MINUSONE e'
igual
a
Inteiro positivo
th
elemento
de
Lista
Inteiro positivo
e'
igual
a (
Inteiro positivo
+
Inteiro positivo
)
Inteiro positivo
e'
igual
a
comprimento
de
Lista
Numero Real
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
+
Inteiro positivo
No TPTP formula. May not be expressible in strict first order.
Music.kif 280-287
albumArtist
Album
and
Agente Cognitivo
Objeto Representendo Conteudo Abstrato
Processo
Objeto Representendo Conteudo Abstrato
e' uma
instancia
de
Recording
Objeto Representendo Conteudo Abstrato
e' um
membro
de
Album
record
Objeto Representendo Conteudo Abstrato
and
Processo
Processo
e' um
agente
de
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7596-7611
amount
Substancia
,
Objeto Corpuscular
and
Numero Real
UnitOfMass
(s)
Substancia
I e' uma
instancia
de
Substancia
a
medida
de
Substancia
I e'
Numero Real
2
UnitOfMass
(s)
Substancia
I e' uma &parte de
Objeto Corpuscular
Lista
Numero Real
2
UnitOfMass
(s) e' um
membro
de
Lista
Lista
e'
igual
a
AmountsFn
Substancia
,
Objeto Corpuscular
and
UnitOfMass
Numero Real
e'
igual
a
ListSumFn
Lista
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4861-4872
O maior divisor comum de @ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4874-4888
O maior divisor comum de @ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e'
maior
que
Numero Inteiro
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4946-4956
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4958-4972
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e'
menos
que
Numero Inteiro
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
No TPTP formula. May not be expressible in strict first order.
Music.kif 936-946
DataStorageDevice
e'
igual
a
AlbumCopiesFn
Album
and
DataStorageDevice
S
DataStorageDevice
e' uma
instancia
de
DataStorageDevice
Objeto
Objeto
e' um
membro
de
Album
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
copia
exata de
Objeto
stored
Objeto Representendo Conteudo Abstrato
and
DataStorageDevice
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2005-2017
Lista
e'
igual
a
Mean3SecondWindSpeedListFn
Area Geografica
and
Intervalo Temporal
Funcao de Quantidade
e' um
membro
de
Lista
Intervalo Temporal
LIST
Intervalo Temporal
Intervalo Temporal
LIST e'
igual
a
TimeIntervalListFn
Intervalo Temporal
and 3
SecondDuration
(s)
Intervalo Temporal
e' um
membro
de
Intervalo Temporal
LIST
Funcao de Quantidade
e'
igual
a
Mean3SecondWindSpeedFn
Area Geografica
and
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 801-812
Objeto
e' uma
instancia
de
DigitalDataStorageDevice
Sequencia Simbolica
e' uma &parte de
Objeto
Sequencia Simbolica
e' uma
instancia
de
DigitalData
CodeMap
Lista
and
Entidade
codeMapping
CodeMap
,
Sequencia Simbolica
and
Entidade
Lista
define
CodeMap
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
Numero Binario
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1532-1547
WaterWave
e' uma
instancia
de
WaterWave
waveHeight
WaterWave
and
Medida de Comprimento
Lista
Area Aquatica
,
Unidade de Medida
and
Numero Real
Medida de Comprimento
e' um
membro
de
Lista
Area Aquatica
e' uma
instancia
de
Area Aquatica
eventLocated
WaterWave
and
Area Aquatica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
significantWaveHeight
Area Aquatica
,
tempo
de existencia de
WaterWave
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a 4.0 +
StandardDeviationFn
Lista
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5369-5374
average
Lista
and
Numero Real
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 464-468
@ROW e' &o oposto de
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Atributo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2950-2955
Classe
e'
disjuntamente
decomponivel
em @ROW
Classe
Classe
e' um
membro
de (@ROW)
Classe
e' uma
sub
-classe de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2957-2966
Classe
e'
disjuntamente
decomponivel
em @ROW
Classe
Classe
Classe
e' um
membro
de (@ROW)
Classe
e' um
membro
de (@ROW)
Classe
e'
igual
a
Classe
Classe
e'
disjunto
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 574-578
@ROW e'
disjuntamente
decomponivel
em @ROW
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4854-4859
O maior divisor comum de @ROW e'
igual
a
Numero Inteiro
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Numero
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4939-4944
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Numero
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1685-1692
Numero Real
e'
igual
a
MaxValueFn
Lista
Numero Real
Numero Real
e' um
membro
de
Lista
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 509-517
exhaustiveAttribute
Atributo
and @ROW
Entidade
Entidade
e' uma
instancia
de
Atributo
Entidade
Entidade
e' um
membro
de (@ROW)
Entidade
e'
igual
a
Entidade
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2940-2948
Classe
e'
coberto
por @ROW
Entidade
Entidade
e' uma
instancia
de
Classe
Classe
Classe
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 558-562
@ROW e'
coberto
por @ROW
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Classe
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