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
result
Sigma KEE - result
result
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2515-2515
result
e
instrument
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1895-1896
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2554-2556
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 521-522
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2551-2551
O argumento numero 1 de
result
e' uma
instancia
de
Processo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2552-2552
O argumento numero 2 de
result
e' uma
instancia
de
Entidade
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2549-2549
result
e' uma
instancia
de
Role em Caso
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2550-2550
result
e' uma
instancia
de
Relacao Parcial
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2548-2548
result
e' uma
sub
-relacao de
patient
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2513-2513
resource
e
result
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 183-183
No TPTP formula. May not be expressible in strict first order.
english_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.
french_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 257-257
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1940-1940
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 63-63
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 87-87
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 232-232
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 294-294
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 130-130
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 116-116
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 449-449
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49795-49795
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 49794-49794
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 73-73
antecedent
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.
Mid-level-ontology.kif 20760-20767
actedIn
Humano
and
ContentBearingPhysical
Processo
e' uma
instancia
de
DramaticActing
Humano
e' um
patient
de
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
Actor
e' um
atributo
de
Humano
vale
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18837-18843
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Objeto de Arte
Artist
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Biography.kif 730-740
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.
Mid-level-ontology.kif 20734-20743
directed
Humano
and
Filme
Processo
e' uma
instancia
de
FilmMaking
AutonomousAgent
e' uma
instancia
de
Organizacao
leader
AutonomousAgent
and
Humano
Processo
e' um
agente
de
AutonomousAgent
Filme
e' o
resultado
de
Processo
FilmDirector
e' um
atributo
de
Humano
vale
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3040-3054
AutonomousAgent
emprega
Agente Cognitivo
Processo
e' uma
instancia
de
DoNetworkMessaging
Objeto
e' o
resultado
de
Processo
NSFW
e' um
atributo
de
Objeto
Processo
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
o argumento
Entidade
Processo
causa
Entidade
suffers
Entidade
and
Agente Cognitivo
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3022-3038
AutonomousAgent
emprega
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
Processo
e' uma
instancia
de
DoNetworkMessaging
Objeto
e' o
resultado
de
Processo
NSFW
e' um
atributo
de
Objeto
Processo
e' um
agente
de
Agente Cognitivo
Processo
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
o argumento
Agente Cognitivo
ROC
Processo
causa
Agente Cognitivo
ROC
suffers
Agente Cognitivo
ROC and
Agente Cognitivo
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12828-12832
Processo
e' uma
instancia
de
Construcao
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.
Dining.kif 586-602
Processo
e' uma
instancia
de
CateringService
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Processo
UST
AutonomousAgent
e'
situado
em
Objeto
customer
Processo
UST and
AutonomousAgent
Processo
Entidade
and
Processo
Processo
e' uma
instancia
de
Cozinhar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
Processo
UST
eventLocated
Processo
and
Objeto
Objeto
e'
igual
a
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20415-20420
Processo
e' uma
instancia
de
Copying
Objeto
e' um
recurso
para
Processo
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
copia
exata de
Objeto
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 172-178
Processo
e' uma
instancia
de
Criacao
Proposicao
e' o
resultado
de
Processo
Proposicao
e' uma
instancia
de
Proposicao
Processo
e' um
agente
de
Agente Cognitivo
propositionOwner
Agente Cognitivo
and
Proposicao
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10055-10078
Objeto
e' uma
instancia
de
Antidiuretic
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Urination
Intervalo Temporal
e'
igual
a
Intervalo Temporal
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontence
antes
de
Movimento
Movimento
acontence
antes
de
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10025-10046
Objeto
e' uma
instancia
de
Diuretic
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontence
antes
de
Movimento
Movimento
acontence
antes
de
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 74-83
Processo
e' uma
instancia
de
Morte
Entidade
e' uma
instancia
de
OrganismRemains
AutonomousAgent
e' uma
instancia
de
Organismo
Entidade
e' uma &parte de
Entidade
vale
durante
Intervalo Temporal
Entidade
e' uma &parte de
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Entidade
e' o
resultado
de
Processo
AutonomousAgent
experimenta
Processo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12046-12062
Processo
e' uma
instancia
de
Deciding
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Conjunto
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
ContentBearingPhysical
containsFormula
ContentBearingPhysical
and
Entidade
Entidade
e' um
elemento
de
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
agente
de
AutonomousAgent
vale
durante
apos
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
WMD.kif 690-694
Processo
e' uma
instancia
de
DevelopingWeaponOfMassDestruction
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
WeaponOfMassDestruction
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12547-12556
Objeto
e' uma
instancia
de
Substancia Elementar
Objeto
e' uma
instancia
de
Substancia Elementar
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
Entidade
e' uma
instancia
de
Substancia Composta
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 1527-1533
Processo
e' uma
instancia
de
OperationPlanning
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e' uma
instancia
de
OperationPlan
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10840-10848
Processo
e' uma
instancia
de
Planejar
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Proposicao
Proposicao
e' uma
instancia
de
Plano
ContentBearingPhysical
contem
informacao
Proposicao
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3794-3798
Processo
e' uma
instancia
de
Experimenting
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Formula
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5485-5493
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.
Food.kif 3692-3699
Processo
e' uma
instancia
de
Fermentation
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
JuiceOfFn
WineGrape
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Wine
No TPTP formula. May not be expressible in strict first order.
WMD.kif 654-660
Objeto
e' uma
instancia
de
NuclearWeaponProductionFacility
Processo
e' uma
instancia
de
DevelopingWeaponOfMassDestruction
eventLocated
Processo
and
Objeto
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
NuclearWeapon
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16047-16052
Processo
e' uma
instancia
de
Choreographing
Proposicao
e' o
resultado
de
Processo
Processo
exprime
o conteudo de
Proposicao
Processo
e' uma
instancia
de
Dancar
No TPTP formula. May not be expressible in strict first order.
Food.kif 2687-2692
Processo
e' uma
instancia
de
Harvesting
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
instancia
de
Mushroom
Produce
e' um
atributo
de
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 26329-26340
Processo
e' uma
instancia
de
Photocopying
ContentBearingPhysical
e' um
patient
de
Processo
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e'
igual
a
Proposicao
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.
Mid-level-ontology.kif 968-975
yearOfFounding
Organizacao
and
Numero Inteiro
Processo
Numero Inteiro
EAR
Numero Inteiro
EAR
engloba
tempo
de existencia de
Processo
Numero Inteiro
EAR e' uma
instancia
de o
ano
Numero Inteiro
Processo
e' uma
instancia
de
Founding
Organizacao
e' o
resultado
de
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20752-20758
actedIn
Humano
and
ContentBearingPhysical
Processo
Processo
e' uma
instancia
de
DramaticActing
Humano
e' um
patient
de
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17332-17345
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Atributo Subjectivo
Posicao Temporal
Processo
and
AutonomousAgent
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Atributo
e' um
atributo
de
Objeto
e' o
resultado
de
Processo
AutonomousAgent
acredita
que
Objeto
tem um
atributo
de
Atributo
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4195-4204
Produce
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Fruta ou Vegetal
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Harvesting
Objeto
e' o
resultado
de
Entidade
Objeto
e' uma
instancia
de
FoodForFn
Humano
No TPTP formula. May not be expressible in strict first order.
Communications.kif 202-214
Processo
termina
em
Objeto
Processo
e' uma
instancia
de
Messaging
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Telex
Processo
Entidade
Objeto
e' um
instrumento
para
Processo
Entidade
e' o
resultado
de
Processo
Entidade
define
Entidade
Entidade
e' uma
instancia
de
Texto
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Food.kif 994-1003
Processo
e' uma
instancia
de
Crushing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
Processo
Processo
e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Mudanca de Forma
Entidade
e' um
patient
de
Processo
No TPTP formula. May not be expressible in strict first order.
Food.kif 3199-3211
Processo
e' uma
instancia
de
Curdling
Substancia
e' um
patient
de
Processo
Substancia
e' uma
instancia
de
Colloid
Processo
Substancia
Processo
e' uma
instancia
de
Separar
Processo
e' um
sub
-processo de
Processo
Substancia
e' um
patient
de
Processo
Substancia
e' o
resultado
de
Processo
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Substancia
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8726-8736
Entidade
e' uma
instancia
de
ChemicalAcid
Entidade
e' uma
instancia
de
ChemicalBase
Processo
e' uma
instancia
de
Processo Quimico
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Processo
S
Processo
S e' uma
instancia
de
ChemicalSalt
Processo
S e' o
resultado
de
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19379-19392
Atributo
e' uma
instancia
de
SecondaryColor
Atributo
e' um
atributo
de
Objeto
Processo
Objeto
,
Objeto
,
Atributo
and
Atributo
Objeto
e' o
resultado
de
Processo
Objeto
e' um
recurso
para
Processo
Objeto
e' um
recurso
para
Processo
Atributo
e' um
atributo
de
Objeto
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Cor Primaria
Atributo
e' uma
instancia
de
Cor Primaria
Atributo
e'
igual
a
Atributo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10222-10237
Processo
e' uma
instancia
de
Morte
AutonomousAgent
e' uma
instancia
de
Organismo
AutonomousAgent
experimenta
Processo
Entidade
Entidade
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Objeto Organico
Dead
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Processo
Entidade
e' uma &parte de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Entidade
e' uma &parte de
AutonomousAgent
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 85-94
Processo
e' uma
instancia
de
Morte
Entidade
e' uma
instancia
de
OrganismRemains
AutonomousAgent
e' uma
instancia
de
Organismo
Entidade
e' uma &parte de
Entidade
vale
durante
Intervalo Temporal
Entidade
e' uma &parte de
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
AutonomousAgent
experimenta
Processo
Entidade
e' o
resultado
de
Processo
No TPTP formula. May not be expressible in strict first order.
WMD.kif 750-758
Processo
e' uma
instancia
de
DismantlingWeaponOfMassDestruction
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
DevelopingWeaponOfMassDestruction
Entidade
e' o
resultado
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Food.kif 1190-1205
Processo
e' uma
instancia
de
FoamingMilk
Entidade
e' uma
instancia
de
ProcessedMilk
Entidade
e' um
patient
de
Processo
Processo
Processo
and
Entidade
Processo
e' uma
instancia
de
Aquecer
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Aerating
Entidade
e' um
patient
de
Processo
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Bubble
tempo
de existencia de
Processo
acontece
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3665-3678
Processo
e' uma
instancia
de
Gaslighting
Processo
e' um
agente
de
AutonomousAgent
suffers
Processo
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Percepcao
AutonomousAgent
experimenta
Processo
causesProposition
suffers
Processo
and
AutonomousAgent
and
AutonomousAgent
nao
sabe
%n
Entidade
e' o
resultado
de
Processo
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 655-669
Objeto
e' uma
instancia
de
Gene
Objeto
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Celula
Processo
Objeto
and
Objeto
Processo
e' uma
instancia
de
Processo Biologico
eventLocated
Processo
and
Objeto
Processo
tem como
origem
Objeto
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
instancia
de
Nucleotide
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RNAMolecule
Objeto
e'
situado
em
Objeto
No TPTP formula. May not be expressible in strict first order.
Food.kif 1012-1026
Processo
e' uma
instancia
de
Grinding
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto Corpuscular
Entidade
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Colecao
Entidade
Entidade
e'
membro
de
Entidade
Entidade
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.
Medicine.kif 6219-6228
Buraco
e' uma
instancia
de
Laceration
Objeto
e' uma
instancia
de
Skin
Objeto
e'
igual
a o
dono
do buraco
Buraco
Objeto
e' uma &parte de
Objeto
Processo
Processo
e' uma
instancia
de
Cutucar
Buraco
e' o
resultado
de
Processo
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1607-1617
AutonomousAgent
e' uma
instancia
de
Organizacao
IndustryAttribute
e' um
atributo
de
AutonomousAgent
industryProductType
IndustryAttribute
and
Objeto
Processo
Entidade
Processo
e' uma
instancia
de
Fazer
Entidade
e' uma
instancia
de
Objeto
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5210-5222
Entidade
e' uma
instancia
de
ForestProduct
Processo
e' uma
instancia
de
Manufatura
Entidade
e' o
resultado
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Organismo
Processo
Objeto
Processo
e' uma
instancia
de
Agriculture
Entidade
e' o
resultado
de
Processo
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
Forest
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4384-4399
Processo
e' uma
instancia
de
Colocar
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Spice
Processo
termina
em
Objeto
Objeto
e' uma
instancia
de
PreparedFood
Processo
Atributo
Processo
e' uma
instancia
de
Mudanca Interna
Objeto
e' um
patient
de
Processo
Atributo
e' o
resultado
de
Processo
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
FlavourAttribute
Atributo
e' uma
instancia
de
Atributo de Cor
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2078-2091
Objeto Corpuscular
e' uma
instancia
de
ViewItemPage
Processo
e' uma
instancia
de
WebListing
Processo
e' um
componente
de
Objeto Corpuscular
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Fisico
Processo
Processo
and
Processo
CONTENT
Processo
e' uma
instancia
de
Declarar
Processo
e' um
patient
de
Processo
Processo
inclui uma
referencia
a
Entidade
Processo
CONTENT e' o
resultado
de
Processo
Processo
CONTENT e' uma &parte de
Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16802-16810
Proposicao
e' uma
instancia
de
Plano
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
NING
Proposicao
NING e' uma
instancia
de
Planejar
ContentBearingPhysical
e' o
resultado
de
Proposicao
NING
No TPTP formula. May not be expressible in strict first order.
Military.kif 32-44
Proposicao
e' uma
instancia
de
Plano
Fisico
e' uma
instancia
de
Processo
Proposicao
define
Fisico
Proposicao
NING
ContentBearingPhysical
Proposicao
NING e' uma
instancia
de
Planejar
ContentBearingPhysical
e' uma
instancia
de
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e' o
resultado
de
Proposicao
NING o
comeco
de
tempo
de existencia de
Proposicao
NING acontence
antes
de o
comeco
de
tempo
de existencia de
Fisico
o
fim
de
tempo
de existencia de
Proposicao
NING acontence
antes
de o
fim
de
tempo
de existencia de
Fisico
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