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
subclass
Sigma KEE - subclass
subclass
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1371-1373
No TPTP formula. May not be expressible in strict first order.
Merge.kif 133-135
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 27-29
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 28-30
No TPTP formula. May not be expressible in strict first order.
Merge.kif 131-131
O argumento numero 1 de
subclass
e' uma
instancia
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 132-132
O argumento numero 2 de
subclass
e' uma
instancia
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 129-129
subclass
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18660-18660
subclass
e' uma
instancia
de
ClosedWorldPredicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 130-130
subclass
e' uma
instancia
de
Relacao parcialmente Ordenada
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 319-319
No TPTP formula. May not be expressible in strict first order.
english_format.kif 324-324
No TPTP formula. May not be expressible in strict first order.
french_format.kif 182-182
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 271-271
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2002-2002
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 134-134
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 175-175
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 419-419
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 308-308
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 202-202
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 192-192
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 463-463
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22956-22956
subField
e' uma
sub
-relacao de
subclass
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55708-55708
subField
e' uma
sub
-relacao de
subclass
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 320-320
subField
e' uma
sub
-relacao de
subclass
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55707-55707
subField
e' uma
sub
-relacao de
subclass
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55706-55706
subField
e' uma
sub
-relacao de
subclass
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 133-133
subField
e' uma
sub
-relacao de
subclass
antecedent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3987-4007
ADHD
e' um
atributo
de
AutonomousAgent
ADHD
e' um
atributo
de
AutonomousAgent
equal
AutonomousAgent
and
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.
Hotel.kif 1194-1209
Oversized
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
imediata de
Classe
Classe
e' uma
sub
-classe de
HotelUnit
Fisico
Numero Real
,
Numero Real
and
Unidade de Medida
Fisico
e' uma
instancia
imediata de
Classe
Unidade de Medida
e' uma
instancia
de
UnitOfArea
a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e' uma
instancia
de
Medida de Area
Numero Real
e' uma
instancia
de
Medida de Area
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Biography.kif 738-748
Writer
e' um
atributo
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
Texto
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
Document
Processo
e' uma
instancia
de
Escrever
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.
WMD.kif 789-793
biochemicalAgentDelivery
BiochemicalAgent
and
Processo
Processo
e' uma
sub
-classe de
Processo
biochemicalAgentDelivery
BiochemicalAgent
and
Processo
No TPTP formula. May not be expressible in strict first order.
WMD.kif 976-980
biologicalAgentCarrier
BiologicalAgent
and
Organismo
Organismo
e' uma
sub
-classe de
Organismo
biologicalAgentCarrier
BiologicalAgent
and
Organismo
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 48-56
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
Processo
e' uma
sub
-classe de
Atirar
Objeto
Objeto
e' uma
instancia
de
Arma
Objeto
e' uma &parte de
Objeto
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
No TPTP formula. May not be expressible in strict first order.
Government.kif 583-589
commemoratesDate
Holiday
and o
dia
Inteiro positivo
Entidade
e' uma
instancia
de
Holiday
Holiday
e' uma
sub
-classe de
FixedHoliday
Numero Inteiro
e'
menor
ou igual a
Entidade
_YEAR
Entidade
e' uma
instancia
de o
dia
Inteiro positivo
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 504-520
customer
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Entidade
e' uma
instancia
de
Fisico
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Entidade
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 522-538
customer
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Entidade
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Fisico
Entidade
e' um
sub
-processo de
Entidade
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14886-14897
defaultMaximumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Classe
e' uma
sub
-classe de
NonCompositeUnitOfMeasure
Unidade de Medida
e' uma
instancia
de
Classe
o argumento
Entidade
Numero Real
UANTITY and
Entidade
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Entidade
(s)
Entidade
e' uma
instancia
de
Classe
Numero Real
UANTITY
Entidade
(s) e'
maior
que
Numero Real
Unidade de Medida
(s) tem a
forca
modal
de
Unlikely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14855-14866
defaultMinimumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Classe
e' uma
sub
-classe de
NonCompositeUnitOfMeasure
Unidade de Medida
e' uma
instancia
de
Classe
o argumento
Entidade
Numero Real
UANTITY and
Entidade
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Entidade
(s)
Entidade
e' uma
instancia
de
Classe
Numero Real
UANTITY e'
menos
que
Numero Real
tem a
forca
modal
de
Unlikely
No TPTP formula. May not be expressible in strict first order.
WMD.kif 957-961
diseaseMedicine
Doenca ou Sindrome
,
Substancia Biologica Ativa
and
Processo
Processo
e' uma
sub
-classe de
Processo
diseaseMedicine
Doenca ou Sindrome
,
Substancia Biologica Ativa
and
Processo
No TPTP formula. May not be expressible in strict first order.
WMD.kif 963-967
diseaseMedicine
Doenca ou Sindrome
,
Substancia Biologica Ativa
and
Processo
Substancia Biologica Ativa
e' uma
sub
-classe de
Substancia Biologica Ativa
diseaseMedicine
Doenca ou Sindrome
,
Substancia Biologica Ativa
and
Processo
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2352-2361
electricityConsumptionInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityConsumption
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2396-2405
electricityExportInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityExport
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2442-2451
electricityImportInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityImport
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2220-2229
electricityProductionInPeriod
Area Geopolitica
,
Quantidade Fisica
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualElectricityProduction
Area Geopolitica
and
Quantidade Fisica
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Food.kif 2883-2889
equal
Objeto
and
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
AnimalFat
Objeto
e' uma
sub
-classe de
Tecido Gorduroso
initialPart
Objeto
and
Animal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4967-4972
equal
Objeto
and
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CoffeeBean
Objeto
e' uma
sub
-classe de
Seed
initialPart
Objeto
and
CoffeePlant
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5031-5037
equal
Objeto
and
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CocoaBean
Objeto
e' uma
sub
-classe de
Seed
initialPart
Objeto
and
CocoaTree
No TPTP formula. May not be expressible in strict first order.
Media.kif 195-200
equal
Obter
and
ReceivingAnObjectFn
Objeto
equal
Obter
and
ReceivingAnObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Objeto
Obter
e' uma
sub
-classe de
Obter
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19972-19977
equal
Organizacao
and
DepartmentOfPreventingFn
Organizacao
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
inhibe
Fisico
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5285-5290
equal
Objeto
and
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Carne
Objeto Organico
e' uma
sub
-classe de
Animal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4503-4509
equal
Objeto
and
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Malt
Objeto
e' uma
sub
-classe de
CerealGrain
initialPart
Objeto
and
CerealGrass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4870-4881
equal
Objeto
and
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
OilFromPlant
Objeto
e' uma
sub
-classe de
Seed
Objeto
e' uma
sub
-classe de
Fruit
Objeto
Objeto
e' uma
sub
-classe de
Planta Florindo
initialPart
Objeto
and
Objeto
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 33332-33339
applicableRelation
Objeto
and
Relacao
Objeto
e' uma
instancia
de
Objeto
C o argumento numero 1 de
Relacao
e' uma
instancia
de
Classe
equal
Objeto
C and
Classe
Objeto
C e' uma
sub
-classe de
Classe
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 4203-4227
ToxicandInfectiousSubstance
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Substancia
Objeto
e' uma
instancia
de
Microorganismo
AutonomousAgent
Processo
,
Processo
and
Processo
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
de
Animal
Objeto
e'
Near
em relacao a
AutonomousAgent
Processo
e' uma
instancia
de
Inhaling
Processo
e' uma
instancia
de
Ingerir
Processo
e' uma
instancia
de
Tocar
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Processo
causa
Processo
AutonomousAgent
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Processo
Objeto
e'
capaz
de fazer
Processo
no role
resource
Processo
e' uma
sub
-classe de
Ferir
Processo
e' uma
sub
-classe de
Morte
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1489-1502
DutyFree
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Store
Area Geopolitica
Entidade
,
Objeto
and
Processo
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Objeto
e'
situado
em
Area Geopolitica
Objeto
e' uma
sub
-classe de
Objeto
importCommodityType
Area Geopolitica
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Processo
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Processo
Processo
e'
situado
em
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25883-25893
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Dia
Numero Inteiro
birthday
Humano
and
Dia
Dia
e' uma
sub
-classe de
Dia
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
equal
Dia
and o
dia
Inteiro positivo
Numero Inteiro
e'
maior
que
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Merge.kif 215-221
O argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3018-3023
O argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
Relacao
e' uma
instancia
de
Predicado
Relacao
@ROW
Inteiro positivo
th
elemento
de (@ROW) e' uma
sub
-classe de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 238-244
O argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
No TPTP formula. May not be expressible in strict first order.
Media.kif 195-200
equal
Obter
and
ReceivingAnObjectFn
Objeto
equal
Obter
and
ReceivingAnObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Objeto
Obter
e' uma
sub
-classe de
Obter
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5285-5290
equal
Objeto
and
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Carne
Objeto Organico
e' uma
sub
-classe de
Animal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4870-4881
equal
Objeto
and
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
OilFromPlant
Objeto
e' uma
sub
-classe de
Seed
Objeto
e' uma
sub
-classe de
Fruit
Objeto
Objeto
e' uma
sub
-classe de
Planta Florindo
initialPart
Objeto
and
Objeto
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5599-5606
equal
Objeto
and
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Objeto
Objeto Organico
e' uma
sub
-classe de
Organismo
Objeto Organico
e' uma
sub
-classe de
Estructura Anatomica
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5373-5377
equal
Objeto
and
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Pelt
Objeto Organico
e' uma
sub
-classe de
Skin
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5576-5585
equal
Objeto
and
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
WoodProduct
Objeto
e' uma
sub
-classe de
PlantStem
Objeto
Objeto
e' uma
sub
-classe de
BotanicalTree
initialPart
Objeto
and
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1790-1798
equal
Objeto
and
AttrFn
Objeto
and
Atributo
Objeto
e' uma
instancia
de
Objeto
Objeto
e' uma
instancia
de
Objeto
Objeto
e' uma
sub
-classe de
Objeto
Atributo
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4177-4182
Objeto
e' uma
instancia
de
AegilopsGrass
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
DiploidCell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4300-4305
Objeto
e' uma
instancia
de
CommonWheatGrass
Objeto
ELL e' uma &parte de
Objeto
Objeto
ELL e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
HexaploidCell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4330-4335
Objeto
e' uma
instancia
de
SpeltWheatGrass
Objeto
ELL e' uma &parte de
Objeto
Objeto
ELL e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
HexaploidCell
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12164-12176
Processo
e' uma
instancia
de
Deciding
Processo
e' um
agente
de
Agente Cognitivo
Conjunto
e' uma
instancia
de
Conjunto
Conjunto
e' um
patient
de
Processo
Entidade
e' um
elemento
de
Conjunto
Agente Cognitivo
acredita
que
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
sub
-classe de
Processo Intencional
Agente Cognitivo
e'
capaz
de fazer
Entidade
no role
agent
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4241-4246
Objeto
e' uma
instancia
de
DurumWheatGrass
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
TetraploidCell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4271-4276
Objeto
e' uma
instancia
de
EinkornWheatGrass
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
DiploidCell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4209-4214
Objeto
e' uma
instancia
de
EmmerWheatGrass
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
TetraploidCell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4285-4290
Objeto
e' uma
instancia
de
TriticumUrartu
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
DiploidCell
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5827-5835
Processo
e' uma
instancia
de
Felling
Entidade
e' o
resultado
de
Processo
Entidade
TEM
Entidade
e' uma
instancia
de
DeadFn
Entidade
TEM
Entidade
TEM e' uma
sub
-classe de
PlantStem
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19655-19663
Processo
e' uma
instancia
de
Harvesting
Entidade
e' o
resultado
de
Processo
Entidade
RG
Entidade
e' uma
instancia
de
DeadFn
Entidade
RG
Entidade
RG e' uma
sub
-classe de
Objeto Organico
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3508-3537
WearableItem
e' uma
instancia
de
HearingProtection
Animal
e' uma
instancia
de
Humano
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
WearableItem
e' um
instrumento
para
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.
Military.kif 963-974
equal
FitForMilitaryServiceMaleFn
Area Geopolitica
and o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
Cars.kif 5170-5173
Objeto
Objeto
e' uma
sub
-classe de
HandToolBox
manufacturer
Objeto
and
SortimoCorp
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 778-778
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
e' uma
sub
-classe de
Nerve
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 28254-28254
ACPowerSource
e' uma
sub
-classe de
PowerSource
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3294-3294
ADHD
e' uma
sub
-classe de
Disfuncao Psicologica
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 27208-27208
AMFMAlarmClock
e' uma
sub
-classe de
AlarmClock
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 27209-27209
AMFMAlarmClock
e' uma
sub
-classe de
RadioReceiver
No TPTP formula. May not be expressible in strict first order.
Communications.kif 293-293
AMRadioStation
e' uma
sub
-classe de
RadioStation
No TPTP formula. May not be expressible in strict first order.
Communications.kif 236-236
AMRadioSystem
e' uma
sub
-classe de
RadioSystem
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 4075-4075
AOCnumber
e' uma
sub
-classe de
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3601-3601
ATMMachine
e' uma
sub
-classe de
Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3677-3677
ATMSlot
e' uma
sub
-classe de
Buraco
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4876-4876
ATVTire
e' uma
sub
-classe de
Tire
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2169-2169
AVCTP
e' uma
sub
-classe de
Programa de Computador
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6430-6430
AVPUStatus
e' uma
sub
-classe de
Atributo Relacional
No TPTP formula. May not be expressible in strict first order.
Food.kif 1994-1994
AbaloneMeat
e' uma
sub
-classe de
MolluskMeat
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4952-4952
Abatacept
e' uma
sub
-classe de
Immunosupressant
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 527-527
Abayah
e' uma
sub
-classe de
Cloak
No TPTP formula. May not be expressible in strict first order.
People.kif 1213-1213
Abbey
e' uma
sub
-classe de
Organizacao Religiosa
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14148-14148
Abdomen
e' uma
sub
-classe de
AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.
arteries.kif 1272-1272
AbdominalAorta
e' uma
sub
-classe de
Artery
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 135-135
AbducensNerveCNVI
e' uma
sub
-classe de
Nerve
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 2046-2046
Abducting
e' uma
sub
-classe de
Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 2047-2047
Abducting
e' uma
sub
-classe de
MovingAwayFrom
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1608-1608
AbductorDigitiMinimiMuscle
e' uma
sub
-classe de
Musculo
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2127-2127
AbductorHallucisMuscle
e' uma
sub
-classe de
Musculo
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1581-1581
AbductorPollicisBrevisMuscle
e' uma
sub
-classe de
Musculo
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners
subclass