Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
holdsDuring
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 3897-3900
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 3894-3894
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 3895-3895
O argumento numero 2 de
holdsDuring
e' uma
instancia
de
Formula
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3893-3893
holdsDuring
e' uma
instancia
de
Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3892-3892
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 3882-3882
time
e'
relacionado
internamente por SUMO a
holdsDuring
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 122-122
time
e'
relacionado
internamente por SUMO a
holdsDuring
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 28364-28364
time
e'
relacionado
internamente por SUMO a
holdsDuring
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 28363-28363
time
e'
relacionado
internamente por SUMO a
holdsDuring
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 28362-28362
time
e'
relacionado
internamente por SUMO a
holdsDuring
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 42-42
time
e'
relacionado
internamente por SUMO a
holdsDuring
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 265-265
time
e'
relacionado
internamente por SUMO a
holdsDuring
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 32096-32106
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 3509-3519
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 17429-17437
Entidade
e' uma
instancia
de
Humano
Entidade
Entidade
nao
emprega
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 32141-32154
Alone
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Entidade
2
Processo
equal
Entidade
and
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 32189-32197
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 1611-1617
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 7168-7181
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 11414-11422
Windy
e' um
atributo
de
Objeto
Objeto
e'
situado
em
Objeto
equal
Intervalo Temporal
and
tempo
de existencia de
Objeto
surfaceWindSpeed
Objeto
and
Numero Real
MilesPerHour
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que 20.0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13994-14007
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 355-373
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 1761-1767
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
Processo
e' uma
instancia
de
Tremor
PhysicalSystem
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
UnitOfLength
physicalAmplitude
Processo
and
Numero Real
Entidade
(s)
vale
durante
Processo
1
physicalAmplitude
Processo
and
Numero Real
Entidade
(s)
vale
durante
Processo
2
Processo
1 acontece
durante
tempo
de existencia de
Processo
Processo
2 acontece
durante
tempo
de existencia de
Processo
Processo
1 acontence
antes
de
Processo
2
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2569-2587
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 8045-8052
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 1873-1895
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
Objeto
Objeto
nao
encontra
Objeto
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1897-1919
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
Objeto
Objeto
nao
encontra
Objeto
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1834-1842
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 1849-1856
Supine
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
equal
Objeto auto-conectado
and
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 25562-25578
Menopausal
e' um
atributo
de
Humano
vale
durante
Intervalo Temporal
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
equal
Numero Real
and (49 +
Numero Inteiro
)
equal
Numero Real
and (52 +
Numero Inteiro
)
equal
Ponto no tempo
and 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 18433-18441
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18412-18422
ImpairedBodyPartFn
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
o argumento
Formula
tem a
forca
modal
de
Likely
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 32096-32106
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 12620-12627
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 3509-3519
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
equal
MaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
and
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
equal
Numero Inteiro
and 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
equal
FemaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
and
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
equal
Numero Inteiro
and 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
equal
LifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
and
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
equal
Numero Inteiro
and 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
equal
MigrantsPerThousandFn
Area Geopolitica
and
Ano
and
Numero Real
equal
(
Numero Inteiro
+
Numero Inteiro
) and 1
Entidade
e' uma
instancia
de o
ano
Numero Inteiro
equal
PopulationFn
Area Geopolitica
and
Numero Real
vale
durante
Ano
equal
Numero Real
+ 1000 and
Numero Real
equal
Numero Inteiro
and o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
equal
Numero Inteiro
and o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
equal
(
Numero Inteiro
+
Numero Inteiro
) and
Numero Real
equal
Numero Real
+
Numero Real
and
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
equal
PopulationGrowthFn
Area Geopolitica
and
Ano
and
Numero Real
equal
(
Numero Inteiro
+
Numero Inteiro
P) and 1
Posicao Temporal
e' uma
instancia
de o
ano
Numero Inteiro
P
equal
PopulationFn
Area Geopolitica
and
Numero Real
vale
durante
Ano
equal
PopulationFn
Area Geopolitica
and
Numero Real
vale
durante
Posicao Temporal
equal
Numero Real
+
Numero Real
and
Numero Real
equal
(
Numero Real
+ 1) and
Numero Real
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1642-1647
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 1613-1618
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 1690-1695
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 3998-4003
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 4005-4010
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 3156-3161
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 3196-3201
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 2296-2301
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 2789-2794
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 2751-2756
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 2627-2632
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 3112-3117
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 1370-1375
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 17429-17437
Entidade
e' uma
instancia
de
Humano
Entidade
Entidade
nao
emprega
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.
Merge.kif 1611-1617
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.
Economy.kif 3079-3084
importPartnerByFractionInPeriod
Area Geopolitica
,
Area Geopolitica
,
Numero Real positivo
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
importPartnerByFraction
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 3041-3046
importPartnerByRankInPeriod
Area Geopolitica
,
Area Geopolitica
,
Inteiro positivo
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
importPartnerByRank
Area Geopolitica
,
Area Geopolitica
and
Inteiro positivo
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
equal
ChildrenBornPerWomanFn
Area Geopolitica
and
Ano
and 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 1001-1014
equal
ReachingMilitaryAgeAnnuallyMaleFn
Area Geopolitica
and
Ano
and 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 1972-1980
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 2503-2506
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 2498-2501
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 2508-2511
Serbia
se chama &ames$"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 2530-2533
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 2525-2528
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 2535-2538
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
se chama &ames$"nome" "Montenegro"
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2548-2552
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 2752-2755
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 2726-2730
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 1922-1922
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
holdsDuring