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
CurrencyMeasure
Sigma KEE - holdsDuring
holdsDuring
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2083-2085
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3885-3888
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 731-733
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3882-3882
O argumento numero 1 de
holdsDuring
e' uma
instancia
de
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3883-3883
O argumento numero 2 de
holdsDuring
e' uma
instancia
de
Formula
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3881-3881
holdsDuring
e' uma
instancia
de
Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3880-3880
holdsDuring
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 121-121
No TPTP formula. May not be expressible in strict first order.
english_format.kif 122-122
No TPTP formula. May not be expressible in strict first order.
french_format.kif 82-82
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 129-129
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1909-1909
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 34-34
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 117-117
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 142-142
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 169-169
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 101-101
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 81-81
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 264-264
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3870-3870
time
e'
relacionado
internamente por SUMO a
holdsDuring
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 122-122
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 28353-28353
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 28352-28352
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 28351-28351
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 42-42
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 265-265
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30202-30212
Entidade
e' uma
instancia
de
Parte do Corpo
Bare
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Roupa
covers
Entidade
and
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2663-2673
Entidade
e' uma
instancia
de
Regiao
Entidade
tem um
atributo
de
StandardAmbientTemperaturePressure
vale
durante
Posicao Temporal
airTemperature
Entidade
and 298.15
KelvinDegree
(s)
barometricPressure
Entidade
and 29.530
InchMercury
(s)
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17325-17333
Entidade
e' uma
instancia
de
Humano
Entidade
Entidade
nao
emprega
%n
Entidade
vale
durante
Posicao Temporal
Unemployed
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30156-30164
Barefoot
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Shoe
Entidade
usa
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30169-30177
Naked
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Roupa
Entidade
usa
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30247-30260
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 30295-30303
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.
Merge.kif 1601-1607
LegalAgent
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e'
capaz
de fazer
Acao Legal
no role
agent
Entidade
e'
capaz
de fazer
Acao Legal
no role
patient
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6225-6238
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.
Merge.kif 13887-13900
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.
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.
Geography.kif 1597-1603
climateTypeInArea
Area Geografica
and
PolarTypeFClimateZone
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
airTemperature
Area Geografica
and
Entidade
CelsiusDegree
(s)
vale
durante
Posicao Temporal
10.0 e'
maior
que
Entidade
vale
durante
Posicao 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.
Cars.kif 2568-2586
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.
Government.kif 223-234
governmentType
AutonomousAgent
and
Monarchy
Organismo
e' uma
instancia
de
Humano
Organismo
e' uma
instancia
de
Humano
chiefOfState
AutonomousAgent
,
Entidade
and
Organismo
vale
durante
Intervalo Temporal
Organismo
e
Organismo
sao
parentes
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
o argumento
chiefOfState
AutonomousAgent
,
Entidade
and
Organismo
vale
durante
Intervalo Temporal
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Media.kif 406-411
Christian
e' um
atributo
de
Agente Cognitivo
vale
durante
Holiday
Holiday
e' uma
instancia
de
ChristmasDay
observesHoliday
Agente Cognitivo
and
Holiday
No TPTP formula. May not be expressible in strict first order.
Media.kif 509-514
Christian
e' um
atributo
de
Agente Cognitivo
vale
durante
Holiday
Holiday
e' uma
instancia
de
EasterSunday
observesHoliday
Agente Cognitivo
and
Holiday
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7996-8003
Entidade
Fisico
and
Fisico
vale
durante
Posicao Temporal
Fisico
e' uma
instancia
de
Fisico
Fisico
e' uma
instancia
de
Fisico
Fisico
existe
durante
Posicao Temporal
Fisico
existe
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1838-1860
LateralRecumbant
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
LeftArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
LeftLeg
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightLeg
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
Objeto
nao
encontra
%n
Objeto
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1862-1884
LateralRecumbant
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
LeftArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
LeftLeg
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightLeg
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
Objeto
nao
encontra
%n
Objeto
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1799-1807
Prone
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
Chest
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1814-1821
Supine
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto auto-conectado
e'
igual
a
atras
de
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto
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.
Mid-level-ontology.kif 23973-23989
Menopausal
e' um
atributo
de
Humano
vale
durante
Intervalo Temporal
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Numero Real
e'
igual
a (49 +
Numero Inteiro
)
Numero Real
e'
igual
a (52 +
Numero Inteiro
)
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
o argumento
Ponto no tempo
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Ponto no tempo
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18325-18333
DeadOrMissingBodyPartFn
Classe
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Classe
I e' uma
instancia
de
Classe
Classe
I e' uma &parte de
Objeto
Classe
I tem por
fim
Formula
Formula
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.
Mid-level-ontology.kif 30202-30212
Entidade
e' uma
instancia
de
Parte do Corpo
Bare
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Roupa
covers
Entidade
and
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12512-12519
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.
Weather.kif 2663-2673
Entidade
e' uma
instancia
de
Regiao
Entidade
tem um
atributo
de
StandardAmbientTemperaturePressure
vale
durante
Posicao Temporal
airTemperature
Entidade
and 298.15
KelvinDegree
(s)
barometricPressure
Entidade
and 29.530
InchMercury
(s)
vale
durante
Posicao Temporal
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 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 52-64
Ano
e' uma
instancia
de o
ano
Numero Inteiro
PopulationGrowthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
(
Numero Inteiro
+
Numero Inteiro
P) e'
igual
a 1
Posicao Temporal
e' uma
instancia
de o
ano
Numero Inteiro
P
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Ano
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Posicao Temporal
Numero Real
+
Numero Real
e'
igual
a
Numero Real
(
Numero Real
+ 1) e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1517-1522
annualExpendituresOfAreaInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualExpendituresOfArea
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1488-1493
annualRevenuesOfAreaInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualRevenuesOfArea
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1565-1570
capitalExpendituresOfAreaInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
capitalExpendituresOfArea
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3661-3666
currencyExchangePerUSDollar
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
currencyExchangeRate
UnitedStatesDollar
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3668-3673
currencyExchangeRateInPeriod
UnitOfCurrency
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
currencyExchangeRate
UnitOfCurrency
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2819-2824
economicAidDonatedInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
economicAidDonated
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2859-2864
economicAidReceivedNetInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
economicAidReceivedNet
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2056-2061
electricityFractionFromSourceInPeriod
Area Geopolitica
,
PowerGeneration
,
Numero Real
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
electricityFractionFromSource
Area Geopolitica
,
PowerGeneration
and
Numero Real
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2549-2554
exportPartnerByFractionInPeriod
Area Geopolitica
,
Area Geopolitica
,
Numero Real positivo
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
exportPartnerByFraction
Area Geopolitica
,
Area Geopolitica
and
Numero Real positivo
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2511-2516
exportPartnerByRankInPeriod
Area Geopolitica
,
Area Geopolitica
,
Inteiro positivo
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
exportPartnerByRank
Area Geopolitica
,
Area Geopolitica
and
Inteiro positivo
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2387-2392
exportPartnerInPeriod
AutonomousAgent
,
AutonomousAgent
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
exportPartner
AutonomousAgent
and
AutonomousAgent
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2775-2780
externalDebtInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
externalDebt
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1279-1284
highestDecileShareOfHouseholdIncomeInPeriod
Area Geopolitica
,
Numero Real
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
highestDecileShareOfHouseholdIncome
Area Geopolitica
and
Numero Real
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17325-17333
Entidade
e' uma
instancia
de
Humano
Entidade
Entidade
nao
emprega
%n
Entidade
vale
durante
Posicao Temporal
Unemployed
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30156-30164
Barefoot
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Shoe
Entidade
usa
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30169-30177
Naked
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Roupa
Entidade
usa
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1601-1607
LegalAgent
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e'
capaz
de fazer
Acao Legal
no role
agent
Entidade
e'
capaz
de fazer
Acao Legal
no role
patient
vale
durante
Posicao Temporal
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 924-937
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.
ComputingBrands.kif 2453-2457
Posicao Temporal
Posicao Temporal
e' uma
instancia
de o
ano
1976
coworker
SteveJobsOfApple
and
SteveWozniakOfApple
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2441-2445
Posicao Temporal
Posicao Temporal
e' uma
instancia
de o
ano
2002
coworker
SteveJobsOfApple
and
TimCookOfApple
vale
durante
Posicao Temporal
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
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Media.kif 2501-2504
Serbia
e' uma
instancia
de
EuropeanNation
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2496-2499
Serbia
e' uma
instancia
de
IndependentState
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2506-2509
Serbia
se chama
nome
"Republic of Serbia"
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2528-2531
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
e' uma
instancia
de
EuropeanNation
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2523-2526
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
e' uma
instancia
de
IndependentState
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2533-2536
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
se chama
nome
"Montenegro"
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2546-2550
Posicao Temporal
e' uma
instancia
de o
dia
3
SerbiaAndMontenegro
e' uma
instancia
de
IndependentState
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Government.kif 2755-2758
Posicao Temporal
e' uma
instancia
de o
dia
1
conventionalLongName
"Andean Community of Nations" and
AndeanCommunityOfNations
vale
durante imediatemente
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Government.kif 2729-2733
Posicao Temporal
e' uma
instancia
de o
ano
1996
conventionalLongName
"Agency for the French-Speaking Community" and
AgencyForTheFrenchSpeakingCommunity
vale
durante imediatemente
apos
Posicao 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