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
not
Sigma KEE - not
not
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 41283-41283
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 41282-41282
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 41281-41281
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1818-1828
Processo
e' uma
instancia
de
Withdrawal
FinancialAccount
e' uma
instancia
de
FinancialAccount
Processo
tem como
origem
CurrencyFn
FinancialAccount
Processo
Processo
e' uma
instancia
de
Penalty
Processo
termina
em
CurrencyFn
FinancialAccount
Processo
causa
Processo
liquidity
FinancialAccount
and
HighLiquidity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17254-17262
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.
Economy.kif 506-510
HighIncomeCountry
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
membro
de
OrganizationOfPetroleumExportingCountries
economyType
AutonomousAgent
and
DevelopedCountry
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1165-1176
FamilyStylePortion
e' um
atributo
de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
FamilyStylePortion
e' um
atributo
de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Classe
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 172-187
Anemia
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Sangue
Objeto
e' uma &parte de
Objeto
Female
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 0.1
Liter
(s)
Objeto
E e' uma
instancia
de
Hemoglobin
Objeto
E e' uma &parte de
Objeto
Objeto
E2 e' uma
instancia
de
Hemoglobin
Objeto
E e'
igual
a
Objeto
E2
Objeto
2 e' uma &parte de
Objeto
a
medida
de
Objeto
E e'
Numero Real
Gram
(s)
Numero Real
e'
menos
que 12
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 155-170
Anemia
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Sangue
Objeto
e' uma &parte de
Objeto
Male
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 0.1
Liter
(s)
Objeto
E e' uma
instancia
de
Hemoglobin
Objeto
E e' uma &parte de
Objeto
Objeto
E2 e' uma
instancia
de
Hemoglobin
Objeto
E e'
igual
a
Objeto
E2
Objeto
2 e' uma &parte de
Objeto
a
medida
de
Objeto
E e'
Numero Real
Gram
(s)
Numero Real
e'
menos
que 13
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.
Mid-level-ontology.kif 12537-12547
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Fingerprint
Objeto
e' uma
instancia
de
Finger
Atributo
R
Objeto
Objeto
e' um
instrumento
para
Atributo
R
Objeto
e' uma
instancia
de
Finger
Atributo
e' um
atributo
de
Objeto
Objeto
e' um
patient
de
Atributo
R
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2693-2704
Concave
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Outside
em relacao a
Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2665-2676
Convex
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Inside
em relacao a
Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 4078-4095
GeometricFigure
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
FourPosterBed
GeometricFigure
e' uma
instancia
de
Quadrilateral
o
lado
de
GeometricFigure
e'
OneDimensionalFigure
o
lado
de
GeometricFigure
e'
OneDimensionalFigure
OneDimensionalFigure
e'
igual
a
OneDimensionalFigure
Objeto
Objeto
,
GeometricPoint
and
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Floor
Objeto
e'
On
em relacao a
Objeto
Objeto
e'
Vertical
em relacao a
Objeto
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
e' um
atributo
de
Objeto
Objeto
encontra
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9715-9720
O
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto auto-conectado
Objeto
e'
Above
em relacao a
Objeto auto-conectado
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.
Military.kif 772-778
Humano
e' um
cidadao
de
Nacao
Objeto
Humano
e'
situado
em
Objeto
Humano
e'
situado
em
Nacao
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 234-249
concentration
Numero Real
Unidade de Medida
(s),
Substancia
,
Numero Real
Unidade de Medida
2(s) and
Mistura
Substancia
I e' uma
instancia
de
Substancia
Substancia
I e' uma &parte de
Mistura
a
medida
de
Substancia
I e'
Numero Real
Unidade de Medida
3(s)
Substancia
I e' uma &parte de
Mistura
Substancia
I2 e' uma
instancia
de
Substancia
Substancia
I e'
igual
a
Substancia
IE2
Substancia
I2 e' uma &parte de
Mistura
a
medida
de
Mistura
e'
Numero Real
Unidade de Medida
2(s)
approximateValue
Numero Real
and
Numero Real
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1148-1156
A
probabilidade
de
ComfortFood
e' um
atributo
de
Entidade
sabendo que
HeartHealthyFood
e' um
atributo
de
Entidade
vale e'
Numero Real
a
probabilidade
de
ComfortFood
e' um
atributo
de
Entidade
sabendo que
HeartHealthyFood
e' um
atributo
de
Entidade
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9554-9560
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
conecta
Objeto
e
Objeto
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 32-46
connectedBodyPartTypes
Parte do Corpo
,
Parte do Corpo
and
Organismo
Organismo
C e' uma
instancia
de
Organismo
Doenca ou Sindrome
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Organismo
C
Objeto
e' uma &parte de
Organismo
C
Objeto
e'
conectado
com
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 476-484
@ROW e' &o oposto de
Atributo
e'
igual
a
Entidade
elemento
de (@ROW)
Atributo
e'
igual
a
Entidade
elemento
de (@ROW)
Inteiro positivo
e'
igual
a
Inteiro positivo
Entidade
tem um
atributo
de
Atributo
Entidade
tem um
atributo
de
Atributo
No TPTP formula. May not be expressible in strict first order.
Dining.kif 130-150
customer
Agente Cognitivo
and
AutonomousAgent
corkageFee
Medida de Divisa
,
Objeto
and
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
Processo
Processo
e' uma
instancia
de
Comprar
Objeto
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Processo
tem como
origem
AutonomousAgent
Processo
e' uma
instancia
de
Beber
Processo
e' um
agente
de
Agente Cognitivo
Objeto
e' um
recurso
para
Processo
Processo
Processo
e' uma
instancia
de
Corkage
Processo
e' um
agente
de
Agente Cognitivo
Processo
inclui uma
referencia
a
Objeto
Processo
termina
em
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1347-1358
Componente de Engenharia
e' um
componente
de
Internet
Componente de Engenharia
e' um
componente
de
Internet
Componente de Engenharia
e'
igual
a
Componente de Engenharia
Internet
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Communicacao
Entidade
e' um
agente
de
Componente de Engenharia
Entidade
termina
em
Componente de Engenharia
Internet
e' um
instrumento
para
Entidade
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4861-4872
O maior divisor comum de @ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4874-4888
O maior divisor comum de @ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e'
maior
que
Numero Inteiro
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4946-4956
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4958-4972
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e'
menos
que
Numero Inteiro
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
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 30178-30188
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 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 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.
Mid-level-ontology.kif 751-762
PolyphonicMusic
e' um
atributo
de
Objeto
Processo
Processo
Objeto
e' uma
instancia
de
MakingMusic
Processo
e' uma
instancia
de
MakingMusic
Processo
e' uma
instancia
de
MakingMusic
Processo
e' um
sub
-processo de
Objeto
Processo
e' um
sub
-processo de
Objeto
Processo
e'
igual
a
Processo
Processo
acontece
ao mesmo tempo que
Objeto
Processo
acontece
ao mesmo tempo que
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4711-4720
OpenSea
e' um
atributo
de
Objeto
Fisico
Numero Real
Objeto
e' uma
instancia
de
Area Aquatica salgada
Objeto
e' uma
instancia
de
LandlockedWater
a
distancia
entre
Fisico
e
Objeto
e'
Numero Real
NauticalMile
(s)
Numero Real
e'
maior
que 5.0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23061-23076
cousin
Humano
and
Humano
Woman
Man
grandmother
Humano
and
Woman
grandfather
Humano
and
Man
grandmother
Humano
and
Woman
grandfather
Humano
and
Man
Organismo
Organismo
Organismo
e' a
mae
de
Humano
Organismo
e' o
pai
de
Humano
Organismo
e' a
mae
de
Humano
Organismo
e' o
pai
de
Humano
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30132-30140
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 30145-30153
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 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 6478-6488
Entidade
e' uma
instancia
de
ConjugatedSubstance
Objeto
Objeto
and
Processo
Objeto
e' uma
instancia
de
Substancia Composta
Objeto
e' uma
instancia
de
Substancia Composta
Objeto
e'
igual
a
Objeto
Processo
e' uma
instancia
de
Sintese Quimica
Objeto
e' um
recurso
para
Processo
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 294-306
lengthOfUnclassifiedGaugeRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30296-30310
Processo
e' feito de forma
Harmless
Processo
e' uma
instancia
de
Causar Dano
Processo
2
Processo
2 e' uma
instancia
de
Causar Dano
Processo
2 e' um
sub
-processo de
Processo
Processo
2
Processo
2 e' uma
instancia
de
Causar Dano
Processo
causa
Processo
2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13850-13857
O argumento
Formula
tem a
forca
modal
de
Legal
Formula
o argumento
Formula
tem a
forca
modal
de
Law
consistent
Formula
and
Formula
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17416-17418
O argumento
Formula
tem a
forca
modal
de
Necessity
o argumento
Formula
nao %n a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17479-17481
O argumento
Formula
tem a
forca
modal
de
Obligation
o argumento
Formula
nao %n a
forca
modal
de
Permission
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17515-17517
O argumento
Formula
tem a
forca
modal
de
Prohibition
o argumento
Formula
nao %n a
forca
modal
de
Permission
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9119-9122
Objeto
e'
Outside
em relacao a
Objeto
Objeto
e'
parcialmente
localizado em
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23152-23159
stepfather
Humano
and
Man
Humano
Humano
e' a
mae
de
Humano
spouse
Man
and
Humano
Man
e' o
pai
de
Humano
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23169-23176
stepmother
Humano
and
Woman
Humano
Humano
e' o
pai
de
Humano
spouse
Woman
and
Humano
Woman
e' a
mae
de
Humano
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14091-14098
agreementClause
Proposicao
,
Prohibition
,
Agreement
and
Agente Cognitivo
Agente Cognitivo
nao %n o
direito
de executar
Entidade
Entidade
exprime
o conteudo de
Proposicao
Entidade
e' um
agente
de
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14055-14058
agreementExpirationDate
Agreement
and
Ponto no tempo
Agreement
tem um
atributo
de
ActiveAgreement
vale
durante
apos
Ponto no tempo
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.
Media.kif 2546-2550
Posicao Temporal
e' uma
instancia
de o
dia
3
SerbiaAndMontenegro
e' uma
instancia
de
IndependentState
vale
durante
apos
Posicao Temporal
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 2011-2015
~{
hasGUEState
GUIElement
and
GUE_NonVisibleState
} ~{
hasGUEState
GUIElement
and
GUE_ActiveState
} ~{
GUIElement
e' uma
instancia
de
InterfaceWindow
}
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 2226-2229
~{
GUIElement
e' uma
instancia
de
Cursor
} ~{
hasGUEState
GUIElement
and
GUE_SelectedState
}
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1952-1955
~{
GUIElement
e' uma
instancia
de
MouseCursor
} ~{
hasGUEState
GUIElement
and
GUE_ActiveState
}
No TPTP formula. May not be expressible in strict first order.
Government.kif 2915-2915
BigSix
e'
igual
a
GroupOf6
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6099-6106
Caminho do Grafo
Caminho do Grafo
Caminho do Grafo
e' uma
instancia
de o
conjunto
de caminhos que dividem
Grafo
em dois grafos distintos
Caminho do Grafo
e' uma
instancia
de o
conjunto
minimal de caminhos que dividem
Grafo
em dois grafos distintos o
comprimento
de
Caminho do Grafo
e'
Inteiro positivo
o
comprimento
de
Caminho do Grafo
e'
Inteiro positivo
Inteiro positivo
e'
menos
que
Inteiro positivo
No TPTP formula. May not be expressible in strict first order.
Government.kif 3219-3219
Denmark
e'
membro
de
EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.
Government.kif 3220-3220
Sweden
e'
membro
de
EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.
Government.kif 3221-3221
UnitedKingdom
e'
membro
de
EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7891-7891
BeforeCommonEra
nao
engloba
%n
CommonEra
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3585-3585
vegetationType
ArcticRegion
and
BotanicalTree
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
not