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
during
Sigma KEE - during
during
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2720-2721
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8312-8313
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1444-1445
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8309-8309
O argumento numero 1 de
during
e' uma
instancia
de
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8310-8310
O argumento numero 2 de
during
e' uma
instancia
de
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8306-8306
during
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8307-8307
during
e' uma
instancia
de
Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8305-8305
during
e' uma
instancia
de
Relacao Transitiva
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.
english_format.kif 439-439
No TPTP formula. May not be expressible in strict first order.
french_format.kif 251-251
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 86-86
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2045-2045
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 257-257
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 565-565
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 126-126
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 272-272
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 275-275
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 120-120
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 434-434
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20694-20694
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20693-20693
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20692-20692
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 188-188
antecedent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
Intervalo Temporal
and
Numero Inteiro
Intervalo Temporal
e' uma
instancia
de
Minuto
Numero Inteiro
Numero Inteiro
e' uma
instancia
de
Recreacao ou Exercicio
Numero Inteiro
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
tempo
de existencia de
Numero Inteiro
HumanAdult
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Numero Inteiro
e'
maior
que 16
Numero Inteiro
e'
menos
que 12
Healthy
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Cars.kif 809-825
dampingRatio
PhysicalSystem
and
Numero Real
Numero Real
e'
maior
que 0
Intervalo Temporal
e' uma
instancia
de
Tremor
PhysicalSystem
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
UnitOfLength
physicalAmplitude
Intervalo Temporal
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
1
physicalAmplitude
Intervalo Temporal
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
2
Intervalo Temporal
1 acontece
durante
Intervalo Temporal
Intervalo Temporal
2 acontece
durante
Intervalo Temporal
Intervalo Temporal
1 acontence
antes
de
Intervalo Temporal
2
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6470-6482
AVPUPainStatus
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Pain
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Movimento do Corpo
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
causa
Processo
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6447-6459
AVPUVerbalStatus
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Speaking
Processo
termina
em
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
causa
Processo
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1500-1512
ChronicFatigueSyndrome
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Recreacao ou Exercicio
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
o argumento
PostExertionalMalaise
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
2
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
2 tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30662-30683
Dieting
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Dieting
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Meal
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
recurso
para
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
a
medida
de
Objeto
e'
Numero Real
Calorie
(s)
Objeto
e' uma
instancia
de
Meal
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
recurso
para
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
a
medida
de
Objeto
e'
Numero Real
Calorie
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Media.kif 437-444
Intervalo Temporal
e' uma
instancia
de
EasterSunday
Intervalo Temporal
e' uma
instancia
de
Lent
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
acontece
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 446-453
Intervalo Temporal
e' uma
instancia
de
EasterSunday
Intervalo Temporal
e' uma
instancia
de
Lent
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
acontece
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8922-8929
Intervalo Temporal
e' uma
instancia
de
Evening
Intervalo Temporal
e' uma
instancia
de
Afternoon
Intervalo Temporal
e' uma
instancia
de
Dia
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 65-84
AutonomousAgent
e' uma
instancia
de
Man
Mausaharati
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
Drumming
Processo
e' um
agente
de
AutonomousAgent
Processo
AY e' uma
instancia
de
Dia
Intervalo Temporal
e' uma
instancia
de
Sunrise
Intervalo Temporal
acontece
durante
Processo
AY
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
Processo
tem por
fim
Entidade
Intervalo Temporal
UHUR and
Entidade
Entidade
e' uma
instancia
de
WakingUp
Entidade
experimenta
Entidade
Intervalo Temporal
UHUR e' uma
instancia
de
Suhur
Intervalo Temporal
UHUR e' um
agente
de
Entidade
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Intervalo Temporal
UHUR
tempo
de existencia de
Entidade
acontece
durante
Processo
AY
tempo
de existencia de
Intervalo Temporal
UHUR acontece
durante
Processo
AY
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 466-482
Processo
e' uma
instancia
de
MeasuringBreathing
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma &parte de
Objeto
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
a
duracao
de
Intervalo Temporal
e'
MinuteDuration
Objeto
e' um
patient
de
Processo
Entidade
AutonomousAgent
sabe
breathingRate
Objeto
,
Intervalo Temporal
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1496-1518
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
_CLASS e' uma
sub
-classe de
Processo
AccessingWebPage
e' uma
instancia
de
AccessingWebPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AccessingWebPage
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
AccessingWebPage
Fisico
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
2
Intervalo Temporal
2 e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
2 e' um
agente
de
AutonomousAgent
Intervalo Temporal
2 acontece
durante
AccessingWebPage
o
comeco
de
tempo
de existencia de
Intervalo Temporal
2 comeca
antes
de o
comeco
de
tempo
de existencia de
Intervalo Temporal
o
comeco
de
tempo
de existencia de
AccessingWebPage
e'
igual
a o
comeco
de
tempo
de existencia de
Fisico
o
comeco
de
tempo
de existencia de
Intervalo Temporal
e'
igual
a o
fim
de
tempo
de existencia de
Fisico
TTFxFn
Intervalo Temporal
_CLASS and
AccessingWebPage
e'
igual
a
Fisico
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5997-6017
Intervalo Temporal
e' uma
instancia
de
TimePeriod
a
duracao
de
Intervalo Temporal
e'
Numero Real
MinuteDuration
(s)
Numero Real
e'
maior
que 5.0
Entidade
e' uma
instancia
de
Humano
Processo
Processo
e' uma
instancia
de
Respirar
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Entidade
e' um
patient
de
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
Entidade
experimenta
Entidade
Intervalo Temporal
encontra
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Media.kif 387-394
Intervalo Temporal
e' uma
instancia
de
Advent
Intervalo Temporal
e' uma
instancia
de
ChristmasDay
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 396-403
Intervalo Temporal
e' uma
instancia
de
Advent
Intervalo Temporal
e' uma
instancia
de
ChristmasDay
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
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 538-547
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
e' uma
instancia
de
EasterSunday
Intervalo Temporal
e' uma
instancia
de
AscensionThursday
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e' 40
DayDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Media.kif 473-482
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
e' uma
instancia
de
EasterSunday
Intervalo Temporal
e' uma
instancia
de
PalmSunday
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e' 8
DayDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Media.kif 559-568
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
e' uma
instancia
de
EasterSunday
Intervalo Temporal
e' uma
instancia
de
Pentecost
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e' 50
DayDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1758-1780
muscleInsertion
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
StandardAnatomicalPosition
e' um
atributo
de
Objeto
vale
durante
Intervalo Temporal
Healthy
e' um
atributo
de
Objeto
Intervalo Temporal
e' uma
instancia
de
MuscularContraction
tempo
de existencia de
Intervalo Temporal
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
instrumento
para
Intervalo Temporal
physicalEnd
Objeto
and
Objeto
Objeto
encontra
Objeto
Objeto
e'
situado
em
Entidade
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Entidade
vale
durante o
fim
de
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1708-1729
muscleOrigin
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
StandardAnatomicalPosition
e' um
atributo
de
Objeto
vale
durante
Intervalo Temporal
Healthy
e' um
atributo
de
Objeto
Intervalo Temporal
e' uma
instancia
de
MuscularContraction
tempo
de existencia de
Intervalo Temporal
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
instrumento
para
Intervalo Temporal
physicalEnd
Objeto
and
Objeto
Objeto
encontra
Objeto
Objeto
e'
situado
em
Entidade
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Entidade
vale
durante o
fim
de
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2728-2748
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Intervalo Temporal
e' uma
instancia
de
DayTime
Processo
e' uma
instancia
de
Looking
Objeto
e' uma
instancia
de
Objeto
color
Objeto
and
Black
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
eventLocated
Processo
and
Regiao
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Objeto
Numero Real
a
distancia
entre
AutonomousAgent
e
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.
Weather.kif 2750-2771
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Intervalo Temporal
e' uma
instancia
de
NightTime
Processo
e' uma
instancia
de
Looking
Objeto
e' uma
instancia
de
Regiao
Illuminated
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 1000.0
Candela
(s)
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
eventLocated
Processo
and
Regiao
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Objeto
Numero Real
a
distancia
entre
AutonomousAgent
e
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.
Merge.kif 8315-8319
Intervalo Temporal
acontece
durante
Intervalo Temporal
o
fim
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
o
comeco
de
Intervalo Temporal
comeca
antes
de o
comeco
de
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8258-8260
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma &parte de
Intervalo Temporal
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 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.
Mid-level-ontology.kif 30223-30236
Alone
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Entidade
2
Processo
Entidade
e'
igual
a
Entidade
2
Entidade
2 e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Interacao Social
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
involvedInEvent
Processo
and
Entidade
involvedInEvent
Processo
and
Entidade
2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30271-30279
Mute
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Speaking
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
e' um
agente
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 204-223
Muslim
e' um
atributo
de
AutonomousAgent
valor
da propriedade de
AutonomousAgent
e'
igual
a
Medida de Divisa
o argumento
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Zakat
Entidade
e' uma
instancia
de
Ano
Entidade
acontece
durante
tempo
de existencia de
AutonomousAgent
FullyFormed
e' um
atributo
de
AutonomousAgent
vale
durante
Entidade
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
o
valor
de
Entidade
e'
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfCurrency
Entidade
e'
maior
que
Medida de Divisa
+ 0.025 tem a
forca
modal
de
Obligation
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3534-3543
firstTimeBuyers
Intervalo Temporal
,
WebSite
and
Colecao
AutonomousAgent
e'
membro
de
Colecao
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Comprar
Transacao Financeira
e' um
agente
de
AutonomousAgent
eCommerceSite
Transacao Financeira
and
WebSite
tempo
de existencia de
Transacao Financeira
acontece
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3582-3591
firstTimeSellers
Intervalo Temporal
,
WebSite
and
Colecao
AutonomousAgent
e'
membro
de
Colecao
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Vender
Transacao Financeira
e' um
agente
de
AutonomousAgent
eCommerceSite
Transacao Financeira
and
WebSite
tempo
de existencia de
Transacao Financeira
acontece
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
emotion.kif 161-172
Estado Emocional
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
actionTendency
Estado Emocional
and
EmotionalBehavioralProcess
o argumento
Entidade
Entidade
e' uma
instancia
de
EmotionalBehavioralProcess
tempo
de existencia de
Entidade
acontece
durante
Posicao Temporal
Entidade
experimenta
Entidade
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6470-6482
AVPUPainStatus
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Pain
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Movimento do Corpo
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
causa
Processo
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6447-6459
AVPUVerbalStatus
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Speaking
Processo
termina
em
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
causa
Processo
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2567-2583
A
medida
de
Objeto
e'
Funcao de Quantidade
vale
durante
Posicao Temporal
engineIdleSpeed
InternalCombustionEngine
and
Funcao de Quantidade
Objeto
e' uma
instancia
de
Automobile
InternalCombustionEngine
e' uma &parte de
Objeto
Objeto
e' uma &parte de
InternalCombustionEngine
o argumento
Entidade
Entidade
Entidade
acontece
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Pushing
Entidade
termina
em
Entidade
Entidade
e' uma &parte de
Objeto
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30242-30253
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Motionless
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Movimento do Corpo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10577-10593
Objeto
e' uma
instancia
de
BodySegment
Objeto
e' uma
instancia
de
BodySegment
Objeto
e'
conectado
com
Objeto
Movimento
e' uma
instancia
de
Movimento do Corpo
moves
Movimento
and
Objeto
o argumento
Movimento
2
Movimento
2 e' uma
instancia
de
Movimento do Corpo
moves
Movimento
2 and
Objeto
tempo
de existencia de
Movimento
2 acontece
durante
tempo
de existencia de
Movimento
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8387-8400
AutonomousAgent
e' uma
instancia
de
CavalryUnit
Intervalo Temporal
e' uma
instancia
de
Batalha
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AutonomousAgent
Entidade
and
Intervalo Temporal
Soldier
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
membro
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Transporte
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Vehicle
Entidade
e' um
patient
de
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8840-8845
Afternoon
e' uma
instancia
de
Afternoon
Dia
e' uma
instancia
de
Dia
Afternoon
e'
igual
a
AfternoonFn
Dia
Afternoon
acontece
durante
Dia
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8940-8945
Evening
e' uma
instancia
de
Evening
Dia
e' uma
instancia
de
Dia
Evening
e'
igual
a
EveningFn
Dia
Evening
acontece
durante
Dia
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8824-8829
Morning
e' uma
instancia
de
Morning
Dia
e' uma
instancia
de
Dia
Morning
e'
igual
a
MorningFn
Dia
Morning
acontece
durante
Dia
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1898-1917
Processo
e' uma
instancia
de
EngineCycle
Objeto
e' uma
instancia
de
InternalCombustionEngine
Objeto
e' uma
instancia
de
CombustionChamber
Objeto
e' uma &parte de
Objeto
eventLocated
Processo
and
Objeto
Entidade
e' uma
instancia
de
UnitOfVolume
maxCylinderVolume
Objeto
and
Numero Real
Entidade
(s)
vale
durante
tempo
de existencia de
Processo
Numero Real
Intervalo Temporal
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
a
medida
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1868-1887
Processo
e' uma
instancia
de
EngineCycle
Objeto
e' uma
instancia
de
InternalCombustionEngine
Objeto
e' uma
instancia
de
CombustionChamber
Objeto
e' uma &parte de
Objeto
eventLocated
Processo
and
Objeto
Entidade
e' uma
instancia
de
UnitOfVolume
minCylinderVolume
Objeto
and
Numero Real
Entidade
(s)
vale
durante
tempo
de existencia de
Processo
Numero Real
Intervalo Temporal
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
a
medida
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1943-1965
Processo
e' uma
instancia
de
EngineCycle
Engine
e' uma
instancia
de
InternalCombustionEngine
Objeto
e' uma
instancia
de
Piston
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Objeto
e' uma &parte de
Engine
Objeto
e' um
patient
de
Processo
eventLocated
Processo
and
Engine
pistonStroke
Engine
and
Numero Real
Unidade de Medida
(s)
Intervalo Temporal
Intervalo Temporal
,
Fisico
,
Fisico
and
Numero Real
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
Objeto
e'
situado
em
Fisico
vale
durante
Intervalo Temporal
Objeto
e'
situado
em
Fisico
vale
durante
Intervalo Temporal
a
distancia
entre
Fisico
e
Fisico
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.
emotion.kif 1583-1597
Processo
e' uma
instancia
de
ExperiencingDiscomfortInTheStomach
AutonomousAgent
experimenta
Processo
Processo
Processo
AIN and
Objeto
Processo
e' uma
instancia
de
Percepcao
tempo
de existencia de
Processo
acontece
durante
tempo
de existencia de
Processo
AIN
Processo
AIN e' uma
instancia
de
Pain
AutonomousAgent
experimenta
Processo
AIN
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
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