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
(
disjointRelation
result
instrument
)
Merge.kif 2515-2515
result
e
instrument
sao
disjuntos
(
documentation
result
ChineseLanguage
"(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下'埃里克建了一栋房子'这命题,房子是个
result
。")
chinese_format.kif 1895-1896
(
documentation
result
EnglishLanguage
"(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a
result
in the following proposition: Eric built a house.")
Merge.kif 2554-2556
(
documentation
result
JapaneseLanguage
"(result ?ACTION ?OUTPUT) とは、?OUTPUTO が ?ACTION のプロダクトであることを意味する。 例:家は次の命題の
result
である: エリックは家を建てた。")
japanese_format.kif 521-522
(
domain
result
1
Process
)
Merge.kif 2551-2551
O argumento numero 1 de
result
e' uma
instancia
de
Processo
(
domain
result
2
Entity
)
Merge.kif 2552-2552
O argumento numero 2 de
result
e' uma
instancia
de
Entidade
(
instance
result
CaseRole
)
Merge.kif 2549-2549
result
e' uma
instancia
de
Role em Caso
(
instance
result
PartialValuedRelation
)
Merge.kif 2550-2550
result
e' uma
instancia
de
Relacao Parcial
(
subrelation
result
patient
)
Merge.kif 2548-2548
result
e' uma
sub
-relacao de
patient
appearance as argument number 2
(
disjointRelation
resource
result
)
Merge.kif 2513-2513
resource
e
result
sao
disjuntos
(
format
ChineseLanguage
result
"%2 %n 是 %1 的
result
")
chinese_format.kif 183-183
(
format
EnglishLanguage
result
"%2 is %n a
result
of %1")
english_format.kif 184-184
(
format
FrenchLanguage
result
"%2 est %n le
result
at de %1")
french_format.kif 111-111
(
format
ItalianLanguage
result
"%2 è %n un risultato di %1")
relations-it.txt 257-257
(
format
JapaneseLanguage
result
"%2 は %1 の
result
では %n")
japanese_format.kif 1940-1940
(
format
PortugueseLanguage
result
"%2 e' %n o
result
ado de %1")
portuguese_format.kif 63-63
(
format
cz
result
"%2 %p{je} %n{nen�} v�sledkem %1")
relations-cz.txt 87-87
(
format
de
result
"%2 ist ein
result
at von %1 %n{nicht}")
relations-de.txt 232-232
(
format
hi
result
"%2 %1 kaa pariNaama %n hai")
relations-hindi.txt 294-294
(
format
ro
result
"%2 %n{nu} este un
result
%t{rezultat} al lui %1")
relations-ro.kif 130-130
(
format
sv
result
"%2 är %n{inte} ett
result
at av %1")
relations-sv.txt 116-116
(
format
tg
result
"%2 %n ay ang hangga ng %1")
relations-tg.txt 449-449
(
termFormat
ChineseLanguage
result
"结果")
chinese_format.kif 184-184
(
termFormat
ChineseTraditionalLanguage
result
"結果")
domainEnglishFormat.kif 49795-49795
(
termFormat
EnglishLanguage
result
"result")
domainEnglishFormat.kif 49794-49794
(
termFormat
de
result
"resultat")
terms-de.txt 73-73
antecedent
(<=>
(
and
(
instance
?COMBINE
Combining
)
(
resource
?COMBINE ?OBJ1)
(
result
?COMBINE ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COMBINE))
(
not
(
part
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?COMBINE))
(
part
?OBJ1 ?OBJ2))))
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
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
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
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
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
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
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
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
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
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
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
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
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
(=>
(
and
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT))
(
instance
?ARTIFACT
StationaryArtifact
))
Merge.kif 12828-12832
Processo
e' uma
instancia
de
Construcao
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Artefato Estacionario
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
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
(=>
(
and
(
instance
?COPY
Copying
)
(
resource
?COPY ?THING1)
(
result
?COPY ?THING2))
(
copy
?THING1 ?THING2))
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
(=>
(
and
(
instance
?CREATE
Creation
)
(
result
?CREATE ?PROP)
(
instance
?PROP
Proposition
)
(
agent
?CREATE ?AGENT))
(
propositionOwner
?AGENT ?PROP))
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
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
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
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
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
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
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
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
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
(=>
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
WeaponOfMassDestruction
))
WMD.kif 690-694
Processo
e' uma
instancia
de
DevelopingWeaponOfMassDestruction
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
WeaponOfMassDestruction
(=>
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))
(
instance
?COMPOUND
CompoundSubstance
))
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
(=>
(
and
(
instance
?EVENT
OperationPlanning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OperationPlan
))
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
(=>
(
and
(
instance
?EVENT
Planning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
))
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
containsInformation
?CBO ?PLAN))))
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
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
result
?EXPERIMENT ?RESULT))
(
instance
?RESULT
Formula
))
UXExperimentalTerms.kif 3794-3798
Processo
e' uma
instancia
de
Experimenting
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Formula
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
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
(=>
(
and
(
instance
?F
Fermentation
)
(
patient
?F ?X)
(
instance
?X
(
JuiceOfFn
WineGrape
))
(
result
?F ?W))
(
instance
?W
Wine
))
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
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
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
(=>
(
and
(
instance
?G
Choreographing
)
(
result
?G ?P)
(
realization
?D ?P))
(
instance
?D
Dancing
))
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
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?M)
(
instance
?M
Mushroom
))
(
attribute
?M
Produce
))
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
(<=>
(
and
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO1))
(
exists
(?OBJ2 ?INFO2)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO2)
(
equal
?INFO1 ?INFO2))))
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
(<=>
(
instance
?CS
ConjugatedSubstance
)
(
exists
(?C1 ?C2 ?P)
(
and
(
instance
?C1
CompoundSubstance
)
(
instance
?C2
CompoundSubstance
)
(
not
(
equal
?C1 ?C2))
(
instance
?P
ChemicalSynthesis
)
(
resource
?P ?C1)
(
resource
?P ?C2)
(
result
?P ?CS))))
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
(<=>
(
yearOfFounding
?O ?Y)
(
exists
(?F ?YEAR)
(
and
(
overlapsTemporally
(
WhenFn
?F) ?YEAR)
(
instance
?YEAR
(
YearFn
?Y))
(
instance
?F
Founding
)
(
result
?F ?O))))
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
(=>
(
actedIn
?ACTOR ?O)
(
exists
(?PERF)
(
and
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))))
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
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
result
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
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
(=>
(
and
(
attribute
?X
Produce
)
(
instance
?X
FruitOrVegetable
))
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
(
FoodForFn
Human
))))))
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
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
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
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?SC)
(
and
(
result
?C ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?SC ?O))))
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
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
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
(=>
(
and
(
instance
?CA
ChemicalAcid
)
(
instance
?CB
ChemicalBase
)
(
instance
?C
ChemicalProcess
)
(
patient
?C ?CA)
(
patient
?C ?CB))
(
exists
(?CS)
(
and
(
instance
?CS
ChemicalSalt
)
(
result
?C ?CS))))
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
(=>
(
and
(
instance
?COLOR
SecondaryColor
)
(
attribute
?OBJ ?COLOR))
(
exists
(?PROCESS ?RESOURCE1 ?RESOURCE2 ?PRIMARY1 ?PRIMARY2)
(
and
(
result
?PROCESS ?OBJ)
(
resource
?PROCESS ?RESOURCE1)
(
resource
?PROCESS ?RESOURCE2)
(
attribute
?RESOURCE1 ?PRIMARY1)
(
attribute
?RESOURCE2 ?PRIMARY2)
(
instance
?PRIMARY1
PrimaryColor
)
(
instance
?PRIMARY2
PrimaryColor
)
(
not
(
equal
?PRIMARY1 ?PRIMARY2)))))
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
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
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
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
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
(=>
(
and
(
instance
?DISMANTLE
DismantlingWeaponOfMassDestruction
)
(
patient
?DISMANTLE ?WEAPON))
(
exists
(?DEVELOP)
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON)
(
earlier
(
WhenFn
?DEVELOP)
(
WhenFn
?DISMANTLE)))))
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
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
instance
?M
ProcessedMilk
)
(
patient
?FM ?M))
(
exists
(?H ?A ?B)
(
and
(
instance
?H
Heating
)
(
patient
?H ?M)
(
instance
?A
Aerating
)
(
patient
?A ?M)
(
result
?A ?B)
(
instance
?B
Bubble
)
(
during
(
WhenFn
?A)
(
WhenFn
?H)))))
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
(=>
(
and
(
instance
?G
Gaslighting
)
(
agent
?G ?A)
(
suffers
?G ?H))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
causesProposition
(
suffers
?G ?H)
(
not
(
knows
?H
(
result
?P ?R)))))))
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
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
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
(=>
(
and
(
instance
?G
Grinding
)
(
patient
?G ?O)
(
instance
?O
CorpuscularObject
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
exists
(?C)
(
and
(
result
?G ?C)
(
instance
?C
Collection
)
(
forall
(?M)
(=>
(
member
?M ?C)
(
part
?M ?O)))))))
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
(=>
(
and
(
instance
?L
Laceration
)
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L))
(
part
?S ?H))
(
exists
(?P)
(
and
(
instance
?P
Poking
)
(
result
?P ?L))))
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
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryProductType
?INDUSTRY ?TYPE))
(
exists
(?EVENT ?ITEM)
(
and
(
instance
?EVENT
Making
)
(
instance
?ITEM ?TYPE)
(
agent
?EVENT ?ORG)
(
result
?EVENT ?ITEM))))
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
(=>
(
and
(
instance
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
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
(=>
(
and
(
instance
?P
Putting
)
(
patient
?P ?S)
(
instance
?S
Spice
)
(
destination
?P ?F)
(
instance
?F
PreparedFood
))
(
exists
(?C ?A)
(
and
(
instance
?C
InternalChange
)
(
patient
?C ?F)
(
result
?C ?A)
(
attribute
?F ?A)
(
or
(
instance
?A
FlavourAttribute
)
(
instance
?A
ColorAttribute
)))))
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
(=>
(
and
(
instance
?PAGE
ViewItemPage
)
(
instance
?ADVERTISING
WebListing
)
(
component
?ADVERTISING ?PAGE)
(
patient
?ADVERTISING ?ITEM)
(
instance
?ITEM
Physical
))
(
exists
(?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
(
and
(
instance
?STATING
Stating
)
(
patient
?STATING ?DESCRIPTION)
(
refers
?DESCRIPTION ?ITEM)
(
result
?DESCRIPTION ?DESCRIPTIONCONTENT)
(
part
?DESCRIPTIONCONTENT ?PAGE))))
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
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PLAN))
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?OBJ))))
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
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
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