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
WhenFn
Sigma KEE - WhenFn
WhenFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2736-2738
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8471-8474
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1462-1464
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8468-8468
O argumento numero 1 de
WhenFn
e' uma
instancia
de
Fisico
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8465-8465
WhenFn
e' uma
instancia
de
Relacao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8467-8467
WhenFn
e' uma
instancia
de
Relacao Total
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8466-8466
WhenFn
e' uma
instancia
de
funcao Unaria
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8469-8469
O
contra
-dominio de
WhenFn
e' uma instancia de
Intervalo Temporal
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 455-455
No TPTP formula. May not be expressible in strict first order.
english_format.kif 461-461
No TPTP formula. May not be expressible in strict first order.
french_format.kif 264-264
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 314-314
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2054-2054
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 216-216
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 270-270
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 595-595
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 349-349
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 285-285
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 290-290
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 506-506
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4225-4225
WhereFn
e'
relacionado
internamente por SUMO a
WhenFn
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62985-62985
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 456-456
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62984-62984
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62983-62983
antecedent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3984-4004
ADHD
e' um
atributo
de
AutonomousAgent
ADHD
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
igual
a
AutonomousAgent
Processo
e' uma
instancia
de
Classe
Processo
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Processo Psicologico Intencional
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
o argumento
Duracao Temporal
e'
maior
que
Duracao Temporal
tem a
forca
modal
de
Likely
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 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
Numero Real
MilesPerHour
(s) and
Duracao Temporal
Objeto
e' uma
instancia
de
Automobile
Processo
e' uma
instancia
de
GasPedal
Processo
e' uma
instancia
de
Pushing
Processo
termina
em
Objeto
InternalCombustionEngine
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Crankshaft
Objeto
e' uma &parte de
InternalCombustionEngine
a
medida
de
Objeto
e'
RotationFn
Entidade
MilesPerHour
(s) and
Duracao Temporal
vale
durante
tempo
de existencia de
Processo
o argumento
Entidade
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22920-22925
Ponto no tempo
e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Ponto no tempo
e'
igual
a o
fim
de
tempo
de existencia de
AutonomousAgent
benefits
Processo
and
AutonomousAgent
Ponto no tempo
comeca
antes
de
Ponto no tempo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29595-29604
Ponto no tempo
e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Ponto no tempo
e'
igual
a o
fim
de
tempo
de existencia de
AutonomousAgent
suffers
Processo
and
AutonomousAgent
Ponto no tempo
comeca
antes
de
Ponto no tempo
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.
ComputingBrands.kif 3231-3245
Booting
e' um
atributo
de
Componente de Engenharia
vale
durante
Fisico
HostReady
e' um
atributo
de
Componente de Engenharia
vale
durante
Fisico
2
Fisico
2 e'
igual
a imediatemente
apos
tempo
de existencia de
Fisico
Componente de Engenharia
e' uma
instancia
de
ComputerDisplay
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
o argumento
Entidade
Entidade
e' uma
instancia
de
HomeScreen
displayedUpon
Entidade
and
Componente de Engenharia
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Law.kif 480-489
AutonomousAgent
deseja
Dead
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
AutonomousAgent
URDER e' uma
instancia
de
Murder
AutonomousAgent
URDER e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
AutonomousAgent
URDER
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
AutonomousAgent
URDER
Premeditated
e' um
atributo
de
AutonomousAgent
URDER
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.
Merge.kif 18203-18209
Embryonic
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Nascimento
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Intervalo Temporal
nao
engloba
%n
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18181-18187
Larval
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Nascimento
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Intervalo Temporal
encontra
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17193-17203
Processo
e' uma
instancia
de
Accelerating
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Decelerating
AutonomousAgent
experimenta
Processo
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 501-514
Processo
e' uma
instancia
de
Ambulating
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Stepping
Processo
START e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Processo
START e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Processo
START comeca
antes
de
Processo
START
Processo
START comeca
antes
de
Processo
START
Processo
e'
igual
a
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9839-9861
Objeto
e' uma
instancia
de
Antacid
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12383-12397
Processo
e' uma
instancia
de
Colar
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
objectAttached
Processo
and
Entidade
objectAttached
Processo
and
Entidade
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9900-9922
Objeto
e' uma
instancia
de
ProtonPumpInhibitor
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3759-3784
AccessingWebPage
e' uma
instancia
de
AccessingWebPage
Entidade
e' uma
instancia
de
WebPage
Processo
e' uma
instancia
de
DataTransfer
Objeto
e' uma
instancia
de
Server
Processo
e' uma
instancia
de
Pedir
AutonomousAgent
e' uma
instancia
de
WebBrowser
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Entidade
e' um
patient
de
AccessingWebPage
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Entidade
e' um
patient
de
Processo
Processo
tem como
origem
Objeto
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
AccessingWebPage
Processo
e' um
sub
-processo de
AccessingWebPage
o
fim
de
tempo
de existencia de
Processo
e'
igual
a o
comeco
de
Intervalo Temporal
o
fim
de
tempo
de existencia de
Processo
e'
igual
a o
fim
de
Intervalo Temporal
SiteSpeedFn
AccessingWebPage
e'
igual
a
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 487-499
Processo
e' uma
instancia
de
Ambulating
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
Processo
Processo
Processo
e' uma
instancia
de
Stepping
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
tempo
de existencia de
Processo
comeca
em
Intervalo Temporal
tempo
de existencia de
Processo
termina
em
Intervalo Temporal
Processo
e'
igual
a
Processo
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 89-103
Processo
e' uma
instancia
de
ArmedReconnaissance
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
enemy
Agente Cognitivo
and
Entidade
vale
durante
tempo
de existencia de
Processo
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Attack
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 665-671
Processo
e' uma
instancia
de
AntiSurfaceOperation
Entidade
e' um
patient
de
Processo
Entidade
e'
situado
em
Entidade
vale
durante
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
Area Aquatica
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13831-13839
Processo
e' uma
instancia
de
Ferver
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Entidade
e' uma
instancia
de
Substancia Pura
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Unidade de Medida
(s)
vale
durante
tempo
de existencia de
Processo
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Numero Real
e'
maior
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6505-6529
Processo
e' uma
instancia
de
CheckingVitals
Processo
e' um
agente
de
Agente Cognitivo
Objeto
e' um
patient
de
Processo
Heart
e' uma
instancia
de
Heart
Heart
e' uma &parte de
Objeto
Lung
e' uma
instancia
de
Lung
Lung
e' uma &parte de
Objeto
systolicBloodPressure
Objeto
and
Entidade
diastolicBloodPressure
Objeto
and
Entidade
a
medida
de
Objeto
e'
Entidade
FahrenheitDegree
(s)
vale
durante
tempo
de existencia de
Processo
heartRate
Heart
,
tempo
de existencia de
Processo
and
Numero Inteiro
breathingRate
Lung
,
tempo
de existencia de
Processo
and
Numero Inteiro
Agente Cognitivo
sabe
systolicBloodPressure
Objeto
and
Entidade
diastolicBloodPressure
Objeto
and
Entidade
a
medida
de
Objeto
e'
Entidade
FahrenheitDegree
(s)
vale
durante
tempo
de existencia de
Processo
heartRate
Heart
,
tempo
de existencia de
Processo
and
Numero Inteiro
breathingRate
Lung
,
tempo
de existencia de
Processo
and
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11647-11654
Processo
e' uma
instancia
de
Mudanca de Dono
Entidade
e' um
patient
de
Processo
Entidade
possui
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
possui
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
Entidade
e'
igual
a
Entidade
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.
Merge.kif 12466-12473
Processo
e' uma
instancia
de
Combinar
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
Objeto
e' uma &parte de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Objeto
e' uma &parte de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
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.
Mid-level-ontology.kif 968-975
yearOfFounding
Organizacao
and
Numero Inteiro
Processo
Numero Inteiro
EAR
Numero Inteiro
EAR
engloba
tempo
de existencia de
Processo
Numero Inteiro
EAR e' uma
instancia
de o
ano
Numero Inteiro
Processo
e' uma
instancia
de
Founding
Organizacao
e' o
resultado
de
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16852-16861
almaMater
Humano
and
PostSecondarySchool
Processo
Processo
e' uma
instancia
de
Processo Educacional
Processo
termina
em
Humano
eventLocated
Processo
and
PostSecondarySchool
Student
e' um
atributo
de
Humano
vale
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20760-20767
actedIn
Humano
and
ContentBearingPhysical
Processo
e' uma
instancia
de
DramaticActing
Humano
e' um
patient
de
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
Actor
e' um
atributo
de
Humano
vale
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18837-18843
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Objeto de Arte
Artist
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6231-6244
allergic
Humano
and
Substancia
Substancia
UB e' uma
instancia
de
Substancia
Substancia
UB
encontra
Humano
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
AllergicReaction
Humano
experimenta
Entidade
tempo
de existencia de
Entidade
engloba
Posicao Temporal
o
comeco
de
Posicao Temporal
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4373-4382
TwoFactorAuthentication
e' um
atributo
de
UserAccount
loggedInDuring
AutonomousAgent
,
UserAccount
and
Intervalo Temporal
Intervalo Temporal
F
Intervalo Temporal
F e' uma
instancia
de
TwoFactorLoggingIn
Intervalo Temporal
F e' um
agente
de
AutonomousAgent
accountUsed
Intervalo Temporal
F and
UserAccount
tempo
de existencia de
Intervalo Temporal
F acontence
antes
de
Intervalo Temporal
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.
Music.kif 457-470
CoverRecording
e' um
atributo
de
MusicRecording
MusicRecording
e' uma
instancia
de
MusicRecording
songArtist
MusicRecording
and
Agente Cognitivo
musicInterpretation
MusicRecording
and
Musica
record
MusicRecording
and
Musica
M
MusicRecording
Agente Cognitivo
RTIST and
Musica
USIC
musicInterpretation
MusicRecording
and
Musica
songArtist
MusicRecording
and
Agente Cognitivo
RTIST
Agente Cognitivo
e'
igual
a
Agente Cognitivo
RTIST
record
MusicRecording
and
Musica
USIC
tempo
de existencia de
Musica
USIC comeca
antes
de
tempo
de existencia de
Musica
M
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2881-2897
FOKOrder
e' um
atributo
de
Agreement
agreementPeriod
Agreement
and
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
FillingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
CancellingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2917-2933
GTCOrder
e' um
atributo
de
Agreement
agreementPeriod
Agreement
and
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
FillingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
CancellingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2854-2870
IOCOrder
e' um
atributo
de
Agreement
agreementPeriod
Agreement
and
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
FillingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
CancellingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2008-2029
LimitOrder
e' um
atributo
de
Transacao Financeira
partyToAgreement
Transacao Financeira
and
Agreement
Broker
e' um
atributo
de
Agreement
orderFor
Transacao Financeira
,
Comprar
and
Security
a
medida
de
Security
e'
Quantidade Fisica
limitPrice
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
askPrice
Security
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Numero Real
e'
menor
ou igual a
Numero Real
Agreement
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2031-2052
LimitOrder
e' um
atributo
de
Transacao Financeira
partyToAgreement
Transacao Financeira
and
Agreement
Broker
e' um
atributo
de
Agreement
orderFor
Transacao Financeira
,
Vender
and
Security
a
medida
de
Security
e'
Quantidade Fisica
limitPrice
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
bidPrice
Security
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
ou igual a
Numero Real
Agreement
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1207-1224
CommunalAttribute
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Table
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
GroupOfPeople
eventLocated
Processo
and
Objeto
o argumento
Entidade
Entidade
and
Objeto
2
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
AutonomousAgent
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
eventLocated
Entidade
and
Objeto
2
tempo
de existencia de
Processo
encontra
tempo
de existencia de
Entidade
Objeto
e'
igual
a
Objeto
2 tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13841-13854
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Entidade
e' uma
instancia
de
Substancia Pura
a
medida
de
Entidade
e'
Numero Real
Unidade de Medida
(s)
vale
durante
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Numero Real
e'
maior
ou igual a
Numero Real
Gas
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Intervalo Temporal
engloba
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Ferver
Entidade
e' um
patient
de
Processo
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 684-695
checkOutTime
Agente Cognitivo
and
Ponto no tempo
guest
Agente Cognitivo
and
Agente Cognitivo
expects
Agente Cognitivo
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
CheckOutService
Entidade
e' um
agente
de
Agente Cognitivo
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de
Entidade
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.
Mid-level-ontology.kif 18202-18219
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma
instancia
de
PaperShredder
?CUT e' uma
instancia
de
Cortar
?X e' um
instrumento
para ?CUT ?PAPER e' uma
instancia
de
Paper
?PAPER e' um
patient
de ?CUT ?CBO e'
situado
em ?PAPER ?CBO e' uma
instancia
de
VisualContentBearingObject
?CBO
contem
informacao ?INFO
diminui
a probabilidade de ?READ ?READ e' uma
instancia
de
Interpreting
?INFO e' um
patient
de ?READ
tempo
de existencia de ?CUT acontence
antes
de
tempo
de existencia de ?READ
No TPTP formula. May not be expressible in strict first order.
Media.kif 1970-1978
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
termina
em
tempo
de existencia de
JesusOfNazareth
Intervalo Temporal
comeca
em
tempo
de existencia de
TwelveApostles
Entidade
Entidade
e'
membro
de
TwelveApostles
vale
durante
Intervalo Temporal
friend
Entidade
and
JesusOfNazareth
vale
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 1920-1920
JesusOfNazareth
e'
situado
em
Palestine
vale
durante
tempo
de existencia de
JesusOfNazareth
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