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
subProcess
Sigma KEE - subProcess
subProcess
appearance as argument number 1
(
documentation
subProcess
ChineseLanguage
"(
subProcess
?SUBPROC ?PROC)的意思是 ?SUBPROC 是 ?PROC 的子过程。在这里,一个子过程可以理解为一个
Process
暂时可区分的(真整或非真整的)部分。")
chinese_format.kif 2893-2894
(
documentation
subProcess
EnglishLanguage
"(
subProcess
?SUBPROC ?PROC) means that ?SUBPROC is a subprocess of ?PROC. A subprocess is here understood as a temporally distinguished part (proper or not) of a
Process
.")
Merge.kif 3755-3757
(
documentation
subProcess
JapaneseLanguage
"(
subProcess
?SUBPROC ?PROC) は、?SUBPROC が ?PROC のサブプロセスであることを意味する。サブプロセスは、
Process
の一時的に区別された部分(適切 かどうか)として理解されている。")
japanese_format.kif 1640-1642
(
domain
subProcess
1
Process
)
Merge.kif 3752-3752
O argumento numero 1 de
subProcess
e' uma
instancia
de
Processo
(
domain
subProcess
2
Process
)
Merge.kif 3753-3753
O argumento numero 2 de
subProcess
e' uma
instancia
de
Processo
(
instance
subProcess
BinaryPredicate
)
Merge.kif 3750-3750
subProcess
e' uma
instancia
de
Predicado Binario
(
instance
subProcess
PartialOrderingRelation
)
Merge.kif 3751-3751
subProcess
e' uma
instancia
de
Relacao parcialmente Ordenada
appearance as argument number 2
(
format
ChineseLanguage
subProcess
"%1%n是%2的
subProcess
")
chinese_format.kif 573-573
(
format
EnglishLanguage
subProcess
"%1 is %n a subprocess of %2")
english_format.kif 578-578
(
format
FrenchLanguage
subProcess
"%1 est %n un sous-processus de %2")
french_format.kif 340-340
(
format
ItalianLanguage
subProcess
"%1 è %n un sottoprocesso di %2")
relations-it.txt 277-277
(
format
JapaneseLanguage
subProcess
"%1 は %2% の subprocess では %n")
japanese_format.kif 2096-2096
(
format
PortugueseLanguage
subProcess
"%1 e' %n um sub-processo de %2")
portuguese_format.kif 292-292
(
format
cz
subProcess
"%1 %p{je} %n{nen�} a subprocess of %2")
relations-cz.txt 348-348
(
format
de
subProcess
"%1 ist ein subProzess von %2")
relations-de.txt 752-752
(
format
hi
subProcess
"%1 %2 kii upaprakriyaa hai")
relations-hindi.txt 314-314
(
format
ro
subProcess
"%1 %n{nu} este un subprocess%t{subproces} al lui %2")
relations-ro.kif 362-362
(
format
sv
subProcess
"%1 är %n{inte} en
de
lprocess av %2")
relations-sv.txt 377-377
(
format
tg
subProcess
"%1 %n ay ang paraan mas baba ng %2")
relations-tg.txt 469-469
(
termFormat
ChineseLanguage
subProcess
"子过程")
chinese_format.kif 574-574
(
termFormat
ChineseTraditionalLanguage
subProcess
"子過程")
domainEnglishFormat.kif 55775-55775
(
termFormat
EnglishLanguage
subProcess
"sub process")
domainEnglishFormat.kif 55774-55774
antecedent
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
VoiceActor
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
DramaticActing
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
LinguisticCommunication
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
Processo
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Visao
AutonomousAgent
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Ouvir
AutonomousAgent
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
freeRoomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Humano
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Fisico
Processo
e' uma
instancia
de
Fisico
Processo
e' um
sub
-processo de
Processo
Processo
e'
situado
em
TemporaryResidence
price
Processo
, 0.0
UnitedStatesDollar
(s) and
Humano
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 501-514
Processo
e' uma
instancia
de
Ambulating
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Stepping
Processo
START e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Processo
START e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Processo
START comeca
antes
de
Processo
START
Processo
START comeca
antes
de
Processo
START
Processo
e'
igual
a
Processo
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3759-3784
AccessingWebPage
e' uma
instancia
de
AccessingWebPage
Entidade
e' uma
instancia
de
WebPage
Processo
e' uma
instancia
de
DataTransfer
Objeto
e' uma
instancia
de
Server
Processo
e' uma
instancia
de
Pedir
AutonomousAgent
e' uma
instancia
de
WebBrowser
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Entidade
e' um
patient
de
AccessingWebPage
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Entidade
e' um
patient
de
Processo
Processo
tem como
origem
Objeto
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
AccessingWebPage
Processo
e' um
sub
-processo de
AccessingWebPage
o
fim
de
tempo
de existencia de
Processo
e'
igual
a o
comeco
de
Intervalo Temporal
o
fim
de
tempo
de existencia de
Processo
e'
igual
a o
fim
de
Intervalo Temporal
SiteSpeedFn
AccessingWebPage
e'
igual
a
Intervalo Temporal
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
Processo
e' uma
instancia
de
Ambulating
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
Processo
e' uma
instancia
de
Ambulating
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?B
Blockade
)
(
instance
?C
Contest
)
(
subProcess
?B ?C)
(
contestParticipant
?C ?A1)
(
agent
?B ?A1))
(
exists
(?C1 ?A2)
(
and
(
prevents
?C1
Translocation
)
(
instance
?B ?C1)
(
contestParticipant
?C ?A2)
(
not
(
equal
?A1 ?A2))
(
desires
?A2
(
exists
(?I)
(
and
(
instance
?I ?C1)
(
agent
?I ?A1)
(
subProcess
?I ?C)))))))
Mid-level-ontology.kif 21776-21795
Processo
e' uma
instancia
de
Blockade
Contest
e' uma
instancia
de
Contest
Processo
e' um
sub
-processo de
Contest
contestParticipant
Contest
and
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Contest
1
Agente Cognitivo
Contest
1
proibe
a ocurrencia de
Translocation
Processo
e' uma
instancia
de
Contest
1
contestParticipant
Contest
and
Agente Cognitivo
AutonomousAgent
e'
igual
a
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Contest
1
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
sub
-processo de
Contest
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 620-630
Processo
e' uma
instancia
de
CPR
Movimento
e' uma
instancia
de
Compressing
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
e' um
sub
-processo de
Processo
o
comprimento
de
Objeto
e'
Numero Real
Centimeter
(s)
Numero Real
e'
maior
que 5.0
Numero Real
e'
menos
que 6.0
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
agent
?DRIVING ?DRIVER))
(
transported
?TRANSPORT ?DRIVER))
Mid-level-ontology.kif 23575-23581
Processo
e' uma
instancia
de
Dirigir
Transporte
e' um
sub
-processo de
Processo
Transporte
e' uma
instancia
de
Transporte
Processo
e' um
agente
de
AutonomousAgent
transported
Transporte
and
AutonomousAgent
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
destination
?DRIVING ?DEST))
(
destination
?TRANSPORT ?DEST))
Mid-level-ontology.kif 23583-23589
Processo
e' uma
instancia
de
Dirigir
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Transporte
Processo
termina
em
Entidade
Processo
termina
em
Entidade
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
instance
?VEHICLE
Vehicle
)
(
patient
?DRIVING ?VEHICLE))
(
conveyance
?TRANSPORT ?VEHICLE))
Mid-level-ontology.kif 23591-23598
Processo
e' uma
instancia
de
Dirigir
Transporte
e' um
sub
-processo de
Processo
Transporte
e' uma
instancia
de
Transporte
Veiculo de Transporte
e' uma
instancia
de
Vehicle
Veiculo de Transporte
e' um
patient
de
Processo
conveyance
Transporte
and
Veiculo de Transporte
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1275-1296
Processo
e' uma
instancia
de
DustStorm
Processo
e' uma
instancia
de
Wind
Processo
e' um
sub
-processo de
Processo
Transferencia
Objeto
,
Objeto
,
Objeto
,
Objeto
and
Numero Real
Objeto
e' uma
instancia
de
Area terrestre
eventLocated
Processo
and
Objeto
surfaceWindSpeed
Objeto
and
Numero Real
KnotUnitOfSpeed
(s)
Numero Real
e'
maior
que 30.0
Transferencia
e' uma
instancia
de
Translocation
Transferencia
e' um
sub
-processo de
Processo
objectTransferred
Transferencia
and
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto
e' uma
instancia
de
Sand
Objeto
e' uma
instancia
de
Area terrestre
Transferencia
termina
em
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
patient
?FM ?M)
(
instance
?M
ProcessedMilk
)
(
instance
?H
Heating
)
(
subProcess
?H ?FM)
(
measure
?M
(
MeasureFn
?T
CelsiusDegree
)))
(
approximateValue
?T 70.0))
Food.kif 1207-1216
Processo
e' uma
instancia
de
FoamingMilk
Fisico
e' um
patient
de
Processo
Fisico
e' uma
instancia
de
ProcessedMilk
Processo
e' uma
instancia
de
Aquecer
Processo
e' um
sub
-processo de
Processo
a
medida
de
Fisico
e'
Numero Real
CelsiusDegree
(s)
approximateValue
Numero Real
and 70.0
(=>
(
and
(
instance
?G
Baseball
)
(
instance
?P
Pitching
)
(
subProcess
?P ?G))
(
exists
(?M)
(
and
(
instance
?M
PitchersMound
)
(
origin
?P ?M))))
Sports.kif 662-670
Processo
e' uma
instancia
de
Baseball
Processo
e' uma
instancia
de
Pitching
Processo
e' um
sub
-processo de
Processo
Objeto
Objeto
e' uma
instancia
de
PitchersMound
Processo
tem como
origem
Objeto
(=>
(
and
(
instance
?GOAL
GameGoal
)
(
instrument
?GAME ?GOAL)
(
instance
?GAME
Game
)
(
subProcess
?SCORE ?GAME)
(
instance
?SCORE
Score
))
(
exists
(?PIECE ?TIME)
(
and
(
instance
?PIECE
GamePiece
)
(
patient
?SCORE ?PIECE)
(
temporalPart
?TIME
(
WhenFn
?SCORE))
(
holdsDuring
?TIME
(
located
?PIECE ?GOAL)))))
Mid-level-ontology.kif 17051-17063
Objeto
e' uma
instancia
de
GameGoal
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Jogo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Score
Entidade
Posicao Temporal
Entidade
e' uma
instancia
de
GamePiece
Entidade
e' um
patient
de
Processo
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Objeto
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
patient
?GUIDE ?MOVED)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
))
(
patient
?MOTION ?MOVED))
ComputerInput.kif 85-91
Processo
e' uma
instancia
de
GuidingMotion
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Movimento
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
)
(
patient
?MOTION ?MOVED))
(
patient
?GUIDE ?MOVED))
ComputerInput.kif 93-99
Processo
e' uma
instancia
de
GuidingMotion
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Movimento
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?MANEUVER
Maneuver
)
(
instance
?CONTEST
ViolentContest
)
(
subProcess
?MANEUVER ?CONTEST))
(
or
(
instance
?MANEUVER
Attack
)
(
instance
?MANEUVER
DefensiveManeuver
)))
Merge.kif 13442-13449
Processo
e' uma
instancia
de
Manobra
Processo
e' uma
instancia
de
ViolentContest
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Attack
Processo
e' uma
instancia
de
DefensiveManeuver
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
Entidade
e' uma
instancia
de
OPLAN
Entidade
define
Processo
Processo
e' uma
instancia
de
MilitaryOperation
Processo
SUB e' um
sub
-processo de
Processo
Entidade
define
Processo
SUB
(=>
(
and
(
instance
?P
DramaticPerformance
)
(
subProcess
?A ?P))
(
instance
?A
DramaticActing
))
Mid-level-ontology.kif 15957-15961
Processo
e' uma
instancia
de
DramaticPerformance
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
DramaticActing
(=>
(
and
(
instance
?P
MusicalPerformance
)
(
subProcess
?M ?P))
(
instance
?M
MakingMusic
))
Mid-level-ontology.kif 15933-15937
Processo
e' uma
instancia
de
MusicalPerformance
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
MakingMusic
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
Processo
e' uma
instancia
de
Processo
eventLocated
Processo
and
Objeto
Processo
e' um
sub
-processo de
Processo
eventLocated
Processo
and
Objeto
(=>
(
and
(
instance
?PURCHASE
TransactionCollection
)
(
instance
?BUYING1
Buying
)
(
instance
?BUYING2
Buying
)
(
subProcess
?BUYING1 ?PURCHASE)
(
subProcess
?BUYING2 ?PURCHASE)
(
agent
?PURCHASE ?AGENT)
(
instrument
?PURCHASE ?INST))
(
and
(
agent
?BUYING1 ?AGENT)
(
agent
?BUYING2 ?AGENT)
(
instrument
?BUYING1 ?INST)
(
instrument
?BUYING2 ?INST)))
UXExperimentalTerms.kif 1940-1953
Processo
e' uma
instancia
de
TransactionCollection
Processo
e' uma
instancia
de
Comprar
Processo
e' uma
instancia
de
Comprar
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
instrumento
para
Processo
(=>
(
and
(
instance
?PURCHASE
TransactionCollection
)
(
instance
?BUYING1
Buying
)
(
instance
?BUYING2
Buying
)
(
subProcess
?BUYING1 ?PURCHASE)
(
subProcess
?BUYING2 ?PURCHASE))
(
equal
(
WhenFn
?BUYING1)
(
WhenFn
?BUYING2)))
UXExperimentalTerms.kif 1929-1938
Processo
e' uma
instancia
de
TransactionCollection
Processo
e' uma
instancia
de
Comprar
Processo
e' uma
instancia
de
Comprar
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
tempo
de existencia de
Processo
e'
igual
a
tempo
de existencia de
Processo
(=>
(
and
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8243-8257
Processo
e' uma
instancia
de
Recreacao ou Exercicio
Processo
M e' um
instrumento
para
Processo
Processo
M e' uma
instancia
de
RowingMachine
AutonomousAgent
experimenta
Processo
Processo
OW e' uma
instancia
de
Rowing
Processo
MOT e' um
sub
-processo de
Processo
Classe
e' uma
sub
-classe de
Movimento do Corpo
Processo
MOT e' uma
instancia
de
Classe
Processo
OWMOT
Processo
OWMOT e' uma
instancia
de
Classe
Processo
OWMOT e' um
sub
-processo de
Processo
Processo
OWMOT e' um
agente
de
AutonomousAgent
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
attribute
?MUSIC
PolyphonicMusic
)
(
exists
(?PART1 ?PART2)
(
and
(
instance
?MUSIC
MakingMusic
)
(
instance
?PART1
MakingMusic
)
(
instance
?PART2
MakingMusic
)
(
subProcess
?PART1 ?MUSIC)
(
subProcess
?PART2 ?MUSIC)
(
not
(
equal
?PART1 ?PART2))
(
cooccur
?PART1 ?MUSIC)
(
cooccur
?PART2 ?MUSIC))))
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
(<=>
(
manner
?P
Harmless
)
(
and
(
not
(
instance
?P
Damaging
))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
Damaging
)
(
subProcess
?P2 ?P))))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
Damaging
)
(
causes
?P ?P2))))))
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
(=>
(
and
(
agent
?Purchase ?Buyer)
(
origin
?Purchase ?Seller)
(
patient
?Purchase ?Object)
(
monetaryValue
?Object ?Money))
(
exists
(?Payment)
(
and
(
subProcess
?Payment ?Purchase)
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Money)
(
origin
?Payment ?Buyer)
(
destination
?Payment ?Seller))))
FinancialOntology.kif 487-499
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
Objeto
Fisico
e' um
patient
de
Processo
o
valor
de
Fisico
e'
Medida de Divisa
Transacao Financeira
Transacao Financeira
e' um
sub
-processo de
Processo
Transacao Financeira
e' uma
instancia
de
Payment
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
tem como
origem
AutonomousAgent
Transacao Financeira
termina
em
Objeto
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
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
(=>
(
and
(
equal
?S
(
SongFn
?MC ?LC))
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV)
(
and
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Music.kif 867-876
Song
e'
igual
a
SongFn
MusicalComposition
and
LyricalContent
Song
exprime
o conteudo de
Processo
Processo
Processo
MusicalComposition
e' um
patient
de
Processo
LyricalContent
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?ACT
Surgery
)
(
patient
?ACT ?ANIMAL))
(
exists
(?SUBACT)
(
and
(
instance
?SUBACT
Cutting
)
(
instance
?ANIMAL
Animal
)
(
patient
?SUBACT ?ANIMAL)
(
subProcess
?SUBACT ?ACT))))
Merge.kif 12259-12268
Processo
e' uma
instancia
de
Cirurgia
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Cortar
Entidade
e' uma
instancia
de
Animal
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 487-499
Processo
e' uma
instancia
de
Ambulating
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
Processo
Processo
Processo
e' uma
instancia
de
Stepping
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
tempo
de existencia de
Processo
comeca
em
Intervalo Temporal
tempo
de existencia de
Processo
termina
em
Intervalo Temporal
Processo
e'
igual
a
Processo
(=>
(
and
(
instance
?AMBUSH
Ambush
)
(
agent
?AMBUSH ?AG))
(
exists
(?C)
(
and
(
instance
?C
Concealing
)
(
subProcess
?C ?AMBUSH)
(
hasPurpose
?C
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AG)))))))
Mid-level-ontology.kif 21757-21769
Processo
e' uma
instancia
de
Ambush
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Concealing
Processo
e' um
sub
-processo de
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Attack
Entidade
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
Processo
e' uma
instancia
de
AirPhotographicReconnaissance
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Photographing
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
Processo
e' uma
instancia
de
AmphibiousReconnaissance
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
LandingWaterLand
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT)
(
instance
?AGENT
GroupOfPeople
)
(
member
?MEMBER ?AGENT))
(
exists
(?ARREST1)
(
and
(
instance
?ARREST1
PlacingUnderArrest
)
(
arrested
?ARREST1 ?MEMBER)
(
subProcess
?ARREST1 ?ARREST))))
Mid-level-ontology.kif 23494-23504
PlacingUnderArrest
e' uma
instancia
de
PlacingUnderArrest
arrested
PlacingUnderArrest
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
GroupOfPeople
AutonomousAgent
e'
membro
de
AutonomousAgent
PlacingUnderArrest
1
PlacingUnderArrest
1 e' uma
instancia
de
PlacingUnderArrest
arrested
PlacingUnderArrest
1 and
AutonomousAgent
PlacingUnderArrest
1 e' um
sub
-processo de
PlacingUnderArrest
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Authorization)
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
subProcess
?Authorization ?Transaction))))
FinancialOntology.kif 1033-1041
FinancialAccount
e' uma
instancia
de
SavingsAccount
Processo
e' uma
instancia
de
Transacao Financeira
Processo
tem como
origem
CurrencyFn
FinancialAccount
Processo
Processo
e' uma
instancia
de
AuthorizationOfTransaction
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?B
Blockade
)
(
instance
?C
Contest
)
(
subProcess
?B ?C)
(
contestParticipant
?C ?A1)
(
agent
?B ?A1))
(
exists
(?C1 ?A2)
(
and
(
prevents
?C1
Translocation
)
(
instance
?B ?C1)
(
contestParticipant
?C ?A2)
(
not
(
equal
?A1 ?A2))
(
desires
?A2
(
exists
(?I)
(
and
(
instance
?I ?C1)
(
agent
?I ?A1)
(
subProcess
?I ?C)))))))
Mid-level-ontology.kif 21776-21795
Processo
e' uma
instancia
de
Blockade
Contest
e' uma
instancia
de
Contest
Processo
e' um
sub
-processo de
Contest
contestParticipant
Contest
and
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Contest
1
Agente Cognitivo
Contest
1
proibe
a ocurrencia de
Translocation
Processo
e' uma
instancia
de
Contest
1
contestParticipant
Contest
and
Agente Cognitivo
AutonomousAgent
e'
igual
a
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Contest
1
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
sub
-processo de
Contest
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
Processo
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Processo
Processo
tem como
origem
Agente Cognitivo
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validPaymentType
PricingScheme
and
Payment
o argumento
Payment
MENT
Payment
MENT e' uma
instancia
de
Payment
Payment
MENT e' um
sub
-processo de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?CO)
(
and
(
instance
?CO
Coughing
)
(
subProcess
?CO ?C)
(
experiencer
?CO ?H))))
Mid-level-ontology.kif 11771-11779
Processo
e' uma
instancia
de
Choking
AutonomousAgent
experimenta
Processo
Processo
O
Processo
O e' uma
instancia
de
Coughing
Processo
O e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
O
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
exists
(?I ?E)
(
and
(
instance
?I
Inhaling
)
(
instance
?E
Exhaling
)
(
subProcess
?I ?C)
(
subProcess
?E ?C)
(
experiencer
?I ?H)
(
experiencer
?E ?H))))
Mid-level-ontology.kif 6043-6054
Processo
e' uma
instancia
de
Coughing
AutonomousAgent
experimenta
Processo
Processo
Processo
Processo
e' uma
instancia
de
Inhaling
Processo
e' uma
instancia
de
Exhaling
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
AutonomousAgent
experimenta
Processo
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?B ?SC)
(
and
(
instance
?B
Breaking
)
(
causes
?C ?B)
(
subProcess
?B ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?B ?O)
(
patient
?SC ?O))))
Food.kif 980-992
Processo
e' uma
instancia
de
Crushing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
Processo
Processo
Processo
e' uma
instancia
de
Breaking
Processo
causa
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Mudanca de Forma
Entidade
e' um
patient
de
Processo
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
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
Processo
e' uma
instancia
de
CurdlingMilk
Fisico
e' uma
instancia
de
Milk
Fisico
e' um
patient
de
Processo
Numero Real
Processo
,
Entidade
and
Entidade
a
medida
de
Fisico
e'
Numero Real
PHValue
(s)
Processo
e' uma
instancia
de
Diminuir
Processo
e' um
sub
-processo de
Processo
Numero Real
e' um
patient
de
Processo
Numero Real
e'
igual
a
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Numero Real
e'
igual
a
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
CuringFood
)
(
instance
?F
Food
)
(
patient
?C ?F))
(
exists
(?D)
(
and
(
instance
?D
Drying
)
(
subProcess
?D ?C)
(
patient
?D ?F))))
Food.kif 96-105
Processo
e' uma
instancia
de
CuringFood
Entidade
e' uma
instancia
de
Comida
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Secar
Processo
e' um
sub
-processo de
Processo
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?Check
VerifyingCardCode
)
(
patient
?Check ?Code)
(
cardCode
?Code ?Card))
(
exists
(?Decode)
(
and
(
instance
?Decode
Decoding
)
(
subProcess
?Decode ?Check)
(
patient
?Decode ?Code))))
FinancialOntology.kif 3572-3581
Processo
e' uma
instancia
de
VerifyingCardCode
Objeto Representendo Conteudo Abstrato
e' um
patient
de
Processo
cardCode
Objeto Representendo Conteudo Abstrato
and
BankCard
Processo
Processo
e' uma
instancia
de
Decodificar
Processo
e' um
sub
-processo de
Processo
Objeto Representendo Conteudo Abstrato
e' um
patient
de
Processo
(=>
(
and
(
instance
?D
Diet
)
(
realization
?P ?D))
(
exists
(?E)
(
and
(
subProcess
?E ?P)
(
instance
?E
Eating
))))
Mid-level-ontology.kif 21533-21540
Proposicao
e' uma
instancia
de
Diet
Processo
exprime
o conteudo de
Proposicao
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Comer
(=>
(
and
(
instance
?DESTR
PreciseDestruction
)
(
patient
?DESTR ?PATIENT))
(
hasPurpose
?DESTR
(
not
(
exists
(?DAMAGING ?DAMAGED)
(
and
(
instance
?DAMAGING
Damaging
)
(
subProcess
?DAMAGING ?DESTR)
(
patient
?DAMAGING ?DAMAGED)
(
not
(
equal
?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 618-630
Processo
e' uma
instancia
de
PreciseDestruction
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' um
sub
-processo de
Processo
Entidade
e' um
patient
de
Entidade
Entidade
e'
igual
a
Entidade
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
Processo
e' uma
instancia
de
Discovering
Entidade
e' um
patient
de
Processo
Entidade
e'
situado
em
Entidade
vale
durante
tempo
de existencia de
Processo
Processo
Processo
e' uma
instancia
de
Aprender
Processo
e' um
sub
-processo de
Processo
Entidade
e'
situado
em
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
instance
?VEHICLE
RoadVehicle
))
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
TransportViaRoadVehicle
)
(
subProcess
?TRANSPORT ?DRIVE))))
Mid-level-ontology.kif 23565-23573
Processo
e' uma
instancia
de
Dirigir
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
RoadVehicle
Processo
Processo
e' uma
instancia
de
TransportViaRoadVehicle
Processo
e' um
sub
-processo de
Processo
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
subProcess
CivilAffairsActivity
CivilAffairsOperation
)
MilitaryProcesses.kif 2373-2373
CivilAffairsActivity
e' um
sub
-processo de
CivilAffairsOperation
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