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
The number 1 argument of
sub process
is an
instance
of
process
(
domain
subProcess
2
Process
)
Merge.kif 3753-3753
The number 2 argument of
sub process
is an
instance
of
process
(
instance
subProcess
BinaryPredicate
)
Merge.kif 3750-3750
sub process
is an
instance
of
binary predicate
(
instance
subProcess
PartialOrderingRelation
)
Merge.kif 3751-3751
sub process
is an
instance
of
partial ordering relation
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
If
voice actor
is an
attribute
of
an agent
and
a process
is an
instance
of
dramatic acting
and
the agent
is an
agent
of
the process
and
another process
is an
instance
of
linguistic communication
and
the agent
is an
agent
of
the other process
and
the other process
is a
subprocess
of
the process
,
then there don't exist
a third process
and
another agent
such that
the third process
is an
instance
of
seeing
and
the agent
is a
patient
of
the third process
and
the other agent
is an
agent
of
the third process
and there exist
a fourth process
and
the other agent
such that
the fourth process
is an
instance
of
hearing
and
the agent
is a
patient
of
the fourth process
and
the other agent
is an
agent
of
the fourth process
(=>
(
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
If use of
a kind of physical
is free for
a kind of hotel unit
and
a kind of physical
is a
subclass
of
process
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
the human
is a
patient
of
a process
and
the process
is an
instance
of
the kind of physical
or
another process
is an
instance
of
the kind of physical
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then
the process
is
price
0.0
united states dollar
(s) for
the human
(=>
(
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
If
a process
is an
instance
of
ambulating
and
another process
is a
subprocess
of
the process
and
the other process
is an
instance
of
stepping
and
a third process
is a
subprocess
of
the process
and
the third process
is an
instance
of
stepping
and
the other process
START is
equal
to the
beginning
of the
time
of existence of
the other process
and
the third process
START is
equal
to the
beginning
of the
time
of existence of
the third process
and
the other process
START happens
before
the third process
START and
the third process
START happens
before
the other process
START,
then
the other process
is
equal
to
the third process
(=>
(
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
If
an accessing web page
is an
instance
of
accessing web page
and
an entity
is an
instance
of
web page
and
a process
is an
instance
of
data transfer
and
an object
is an
instance
of
server
and
another process
is an
instance
of
requesting
and
an agent
is an
instance
of
web browser
and
a time interval
is an
instance
of
time interval
and
the entity
is a
patient
of
the accessing web page
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the object
and
the entity
is a
patient
of
the other process
and
the process
originate
s at
the object
and
the process
end
s up at
the agent
and
the entity
is a
patient
of
the process
and
the process
is a
subprocess
of
the accessing web page
and
the other process
is a
subprocess
of
the accessing web page
and the
end
of the
time
of existence of
the other process
is
equal
to the
beginning
of
the time interval
and the
end
of the
time
of existence of
the process
is
equal
to the
end
of
the time interval
,
then the time to
access
in
the accessing web page
is
equal
to
the time interval
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
If
a process
is an
instance
of
ambulating
and
another process
is an
instance
of
stepping
and
the other process
is a
subprocess
of
the process
and
an agent
is an
agent
of
the process
,
then
the agent
is an
agent
of
the other process
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
If
a process
is an
instance
of
ambulating
and
another process
is an
instance
of
stepping
and
the other process
is a
subprocess
of
the process
and
an agent
is an
agent
of
the other process
,
then
the agent
is an
agent
of
the process
(=>
(
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
If
a process
is an
instance
of
blockade
and
a contest
is an
instance
of
contest
and
the process
is a
subprocess
of
the contest
and
an agent
participates
in
the contest
and
the agent
is an
agent
of
the process
,
then there exist
the contest
1 and
a cognitive agent
such that
the contest
1
prevent
s the occurrence of
translocation
and
the process
is an
instance
of
the contest
1 and
the cognitive agent
participates
in
the contest
and
the agent
is not
equal
to
the cognitive agent
and
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
the contest
1 and
the agent
is an
agent
of
the entity
and
the entity
is a
subprocess
of
the 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
If
a process
is an
instance
of
cardio-pulmonary resuscitation
and
a motion
is an
instance
of
compressing
and
an object
is
path
along which
the motion
occurs and
the motion
is a
subprocess
of
the process
and the
length
of
the object
is
a real number
centimeter
(s),
then
the real number
is
greater
than 5.0 and
the real number
is
less
than 6.0
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
agent
?DRIVING ?DRIVER))
(
transported
?TRANSPORT ?DRIVER))
Mid-level-ontology.kif 23575-23581
If
a process
is an
instance
of
driving
and
a transportation
is a
subprocess
of
the process
and
the transportation
is an
instance
of
transportation
and
an agent
is an
agent
of
the process
,
then
the agent
is
transported
during
the transportation
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
destination
?DRIVING ?DEST))
(
destination
?TRANSPORT ?DEST))
Mid-level-ontology.kif 23583-23589
If
a process
is an
instance
of
driving
and
another process
is a
subprocess
of
the process
and
the other process
is an
instance
of
transportation
and
the process
end
s up at
an entity
,
then
the other process
end
s up at
the entity
(=>
(
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
If
a process
is an
instance
of
driving
and
a transportation
is a
subprocess
of
the process
and
the transportation
is an
instance
of
transportation
and
a transportation device
is an
instance
of
vehicle
and
the transportation device
is a
patient
of
the process
,
then
the transportation device
is a
conveyance
during
the transportation
(=>
(
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
If
a process
is an
instance
of
dust storm
and
another process
is an
instance
of
wind
and
the process
is a
subprocess
of
the other process
,
then there exist
a transfer
,
an object
,, ,
another object
,, ,
a third object
,, ,
a fourth object
and
a real number
such that
the third object
is an
instance
of
land area
and
the other process
is
located
at
the third object
and
the real number
knot unit of speed
(s) is a
surface
wind speed of
the third object
and
the real number
is
greater
than 30.0 and
the transfer
is an
instance
of
translocation
and
the transfer
is a
subprocess
of
the process
and the object transferred in
the transfer
is
the object
and the object transferred in
the transfer
is
the other object
and
the object
is an
instance
of
PM
and
the other object
is an
instance
of
sand
and
the fourth object
is an
instance
of
land area
and
the transfer
end
s up at
the fourth object
and
the third object
and
the fourth object
doesn't
overlapsSpatially
(=>
(
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
If
a process
is an
instance
of
foaming milk
and
a physical
is a
patient
of
the process
and
the physical
is an
instance
of
processed milk
and
another process
is an
instance
of
heating
and
the other process
is a
subprocess
of
the process
and the
measure
of
the physical
is
a real number
celsius degree
(s),
then the approximate value of
the real number
is 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
If
a process
is an
instance
of
baseball
and
another process
is an
instance
of
pitching
and
the other process
is a
subprocess
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
pitchers mound
and
the other process
originate
s at
the object
(=>
(
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
If
an object
is an
instance
of
game goal
and
the object
is an
instrument
for
a process
and
the process
is an
instance
of
game
and
another process
is a
subprocess
of
the process
and
the other process
is an
instance
of
score
,
then there exist
an entity
and
a time position
such that
the entity
is an
instance
of
game piece
and
the entity
is a
patient
of
the other process
and
the time position
is a
part
of the
time
of existence of
the other process
and
the entity
is
located
at
the object
holds
during
the time position
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
patient
?GUIDE ?MOVED)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
))
(
patient
?MOTION ?MOVED))
ComputerInput.kif 85-91
If
a process
is an
instance
of
guiding motion
and
an entity
is a
patient
of
the process
and
another process
is a
subprocess
of
the process
and
the other process
is an
instance
of
motion
,
then
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
)
(
patient
?MOTION ?MOVED))
(
patient
?GUIDE ?MOVED))
ComputerInput.kif 93-99
If
a process
is an
instance
of
guiding motion
and
another process
is a
subprocess
of
the process
and
the other process
is an
instance
of
motion
and
an entity
is a
patient
of
the other process
,
then
the entity
is a
patient
of
the process
(=>
(
and
(
instance
?MANEUVER
Maneuver
)
(
instance
?CONTEST
ViolentContest
)
(
subProcess
?MANEUVER ?CONTEST))
(
or
(
instance
?MANEUVER
Attack
)
(
instance
?MANEUVER
DefensiveManeuver
)))
Merge.kif 13442-13449
If
a process
is an
instance
of
maneuver
and
another process
is an
instance
of
violent contest
and
the process
is a
subprocess
of
the other process
,
then
the process
is an
instance
of
attack
or
the process
is an
instance
of
defensive maneuver
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
If
an entity
is an
instance
of
OPLAN
and
the entity
express
es
a process
and
the process
is an
instance
of
military operation
and
the process
SUB is a
subprocess
of
the process
,
then
the entity
express
es
the process
SUB
(=>
(
and
(
instance
?P
DramaticPerformance
)
(
subProcess
?A ?P))
(
instance
?A
DramaticActing
))
Mid-level-ontology.kif 15957-15961
If
a process
is an
instance
of
dramatic performance
and
another process
is a
subprocess
of
the process
,
then
the other process
is an
instance
of
dramatic acting
(=>
(
and
(
instance
?P
MusicalPerformance
)
(
subProcess
?M ?P))
(
instance
?M
MakingMusic
))
Mid-level-ontology.kif 15933-15937
If
a process
is an
instance
of
musical performance
and
another process
is a
subprocess
of
the process
,
then
the other process
is an
instance
of
making music
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
If
a process
is an
instance
of
process
and
the process
is
located
at
an object
and
another process
is a
subprocess
of
the process
,
then
the other process
is
located
at
the object
(=>
(
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
If
a process
is an
instance
of
collection of transactions
and
another process
is an
instance
of
buying
and
a third process
is an
instance
of
buying
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and
an agent
is an
agent
of
the process
and
an object
is an
instrument
for
the process
,
then
the agent
is an
agent
of
the other process
and
the agent
is an
agent
of
the third process
and
the object
is an
instrument
for
the other process
and
the object
is an
instrument
for
the third process
(=>
(
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
If
a process
is an
instance
of
collection of transactions
and
another process
is an
instance
of
buying
and
a third process
is an
instance
of
buying
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
,
then the
time
of existence of
the other process
is
equal
to the
time
of existence of
the third process
(=>
(
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
If
a process
is an
instance
of
recreation or exercise
and
the process
M is an
instrument
for
the process
and
the process
M is an
instance
of
ergometer
and
an agent
experience
s
the process
and
the process
OW is an
instance
of
rowing
and
the process
MOT is a
subprocess
of
the process
and
a class
is a
subclass
of
body motion
and
the process
MOT is an
instance
of
the class
,
then there exists
the process
OWMOT such that
the process
OWMOT is an
instance
of
the class
and
the process
OWMOT is a
subprocess
of
the process
and
the agent
is an
agent
of
the process
OWMOT
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
Polyphonic music
is an
attribute
of
an object
if and only if there exist
a process
and
another process
such that
the object
is an
instance
of
making music
and
the process
is an
instance
of
making music
and
the other process
is an
instance
of
making music
and
the process
is a
subprocess
of
the object
and
the other process
is a
subprocess
of
the object
and
the process
is not
equal
to
the other process
and
the process
occur
s at the same time as
the object
and
the other process
occur
s at the same time as
the object
(<=>
(
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
A process
is performed in the manner
harmless
if and only if
the process
is not an
instance
of
damaging
and there doesn't exist
the process
2 such that
the process
2 is an
instance
of
damaging
and
the process
2 is a
subprocess
of
the process
and there doesn't exist
the process
2 such that
the process
2 is an
instance
of
damaging
and
the process
cause
s
the process
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
If
an agent
is an
agent
of
a process
and
the process
originate
s at
an object
and
a physical
is a
patient
of
the process
and
value
of
the physical
is
a currency measure
,
then there exists
a financial transaction
such that
the financial transaction
is a
subprocess
of
the process
and
the financial transaction
is an
instance
of
payment
and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
originate
s at
the agent
and
the financial transaction
end
s up at
the object
(=>
(
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
If
an agent
is a
customer
of
a cognitive agent
and
the agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
process
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the other entity
is an
element
of
belongings
of
the agent
and
the agent
is an
agent
of
the entity
and
the cognitive agent
is a
patient
of
the entity
and
the entity
is an
instance
of
the kind of physical
or
the third entity
is an
instance
of
the kind of physical
and
the entity
is a
subprocess
of
the third entity
and
the entity
is
located
at
the other entity
has the
modal
force
of
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
If
a song
is
equal
to the
song
comprising
a musical composition
and
a lyrical content
and
the song
express
es the content of
a process
,
then there exist
another process
and
a third process
such that
the musical composition
is a
patient
of
the other process
and
the lyrical content
is a
patient
of
the third process
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
(=>
(
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
If
a process
is an
instance
of
surgery
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
cutting
and
the entity
is an
instance
of
animal
and
the entity
is a
patient
of
the other process
and
the other process
is a
subprocess
of
the process
(=>
(
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
If
a process
is an
instance
of
ambulating
and
a time interval
is
equal
to the
time
of existence of
the process
,
then there exist
another process
and
a third process
such that
the other process
is an
instance
of
stepping
and
the third process
is an
instance
of
stepping
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and the
time
of existence of
the other process
start
s
the time interval
and the
time
of existence of
the third process
finish
es
the time interval
and
the other process
is not
equal
to
the third process
(=>
(
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
If
a process
is an
instance
of
ambush
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
concealing
and
the other process
is a
subprocess
of
the process
and
the other process
has the purpose there exists
an entity
such that
the entity
is an
instance
of
attack
and
the agent
is an
agent
of
the entity
(=>
(
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
If
a process
is an
instance
of
air photographic reconnaissance
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
photographing
and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
If
a process
is an
instance
of
amphibious reconnaissance
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is a
subprocess
of
the process
and
the other process
is an
instance
of
landing water land
and
the agent
is an
agent
of
the other process
(=>
(
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
If
a placing under arrest
is an
instance
of
placing under arrest
and
an agent
is placed under arrest during
the placing under arrest
and
the agent
is an
instance
of
group of people
and
another agent
is a
member
of
the agent
,
then there exists
the placing under arrest
1 such that
the placing under arrest
1 is an
instance
of
placing under arrest
and
the other agent
is placed under arrest during
the placing under arrest
1 and
the placing under arrest
1 is a
subprocess
of
the placing under arrest
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Authorization)
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
subProcess
?Authorization ?Transaction))))
FinancialOntology.kif 1033-1041
If
a financial account
is an
instance
of
savings account
and
a process
is an
instance
of
financial transaction
and
the process
originate
s at the
currency
of
the financial account
,
then there exists
another process
such that
the other process
is an
instance
of
authorization of transaction
and
the other process
is a
subprocess
of
the process
(=>
(
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
If
a process
is an
instance
of
blockade
and
a contest
is an
instance
of
contest
and
the process
is a
subprocess
of
the contest
and
an agent
participates
in
the contest
and
the agent
is an
agent
of
the process
,
then there exist
the contest
1 and
a cognitive agent
such that
the contest
1
prevent
s the occurrence of
translocation
and
the process
is an
instance
of
the contest
1 and
the cognitive agent
participates
in
the contest
and
the agent
is not
equal
to
the cognitive agent
and
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
the contest
1 and
the agent
is an
agent
of
the entity
and
the entity
is a
subprocess
of
the 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
If
a process
is an
instance
of
buying
and
an entity
is a
patient
of
the process
and
the process
originate
s at
a cognitive agent
and the
price
of
another kind of entity
from
the cognitive agent
according to
a pricing scheme
is
a currency measure
or the
unit
price
charged
the cognitive agent
under
the pricing scheme
for
a function quantity
is
another kind of entity
and
the other kind of entity
is a
subclass
of
physical
and
the entity
is an
immediate
instance of
the other kind of entity
and
a kind of payment
is a
valid
payment
under
the pricing scheme
,
then the statement there exists
a kind of payment
MENT such that
the kind of payment
MENT is an
instance
of
the kind of payment
and
the kind of payment
MENT is a
subprocess
of
the process
has the
modal
force
of
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
If
a process
is an
instance
of
choking
and
an agent
experience
s
the process
,
then there exists
the process
O such that
the process
O is an
instance
of
coughing
and
the process
O is a
subprocess
of
the process
and
the agent
experience
s
the process
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
If
a process
is an
instance
of
coughing
and
an agent
experience
s
the process
,
then there exist
another process
and
a third process
such that
the other process
is an
instance
of
inhaling
and
the third process
is an
instance
of
exhaling
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and
the agent
experience
s
the other process
and
the agent
experience
s
the third process
(=>
(
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
If
a process
is an
instance
of
crushing
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
object
,
then there exist
another process
and
a third process
such that
the other process
is an
instance
of
breaking
and
the process
cause
s
the other process
and
the other process
is a
subprocess
of
the third process
and
the third process
is an
instance
of
shape change
and
the entity
is a
patient
of
the other process
and
the entity
is a
patient
of
the third process
(=>
(
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
If
a process
is an
instance
of
curdling
and
a substance
is a
patient
of
the process
and
the substance
is an
instance
of
colloid
,
then there exist
another process
and
another substance
such that
the other process
is an
instance
of
separating
and
the other process
is a
subprocess
of
the process
and
the substance
is a
patient
of
the other process
and
the other substance
is a
result
of
the other process
and
the other substance
is a
piece
of
the substance
and
the other substance
is an
instance
of
substance
(=>
(
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
If
a process
is an
instance
of
curdling milk
and
a physical
is an
instance
of
milk
and
the physical
is a
patient
of
the process
,
then there exist
a real number
,
another process
,, ,
an entity
and
another entity
such that the
measure
of
the physical
is
the real number
PH value
(s) and
the other process
is an
instance
of
decreasing
and
the other process
is a
subprocess
of
the process
and
the real number
is a
patient
of
the other process
and
the real number
is
equal
to
the entity
holds
during
the
beginning
of the
time
of existence of
the other process
and
the real number
is
equal
to
the other entity
holds
during
the
end
of the
time
of existence of
the other process
(=>
(
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
If
a process
is an
instance
of
curing food
and
an entity
is an
instance
of
food
and
the entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
drying
and
the other process
is a
subprocess
of
the process
and
the entity
is a
patient
of
the other process
(=>
(
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
If
a process
is an
instance
of
verifying card code
and
a content bearing object
is a
patient
of
the process
and
a bank card
is a
card
code of
the content bearing object
,
then there exists
another process
such that
the other process
is an
instance
of
decoding
and
the other process
is a
subprocess
of
the process
and
the content bearing object
is a
patient
of
the other process
(=>
(
and
(
instance
?D
Diet
)
(
realization
?P ?D))
(
exists
(?E)
(
and
(
subProcess
?E ?P)
(
instance
?E
Eating
))))
Mid-level-ontology.kif 21533-21540
If
a proposition
is an
instance
of
diet
and
a process
express
es the content of
the proposition
,
then there exists
another process
such that
the other process
is a
subprocess
of
the process
and
the other process
is an
instance
of
eating
(=>
(
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
If
a process
is an
instance
of
precise destruction
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there don't exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
damaging
and
the other entity
is a
subprocess
of
the process
and
the third entity
is a
patient
of
the other entity
and
the entity
is not
equal
to
the third entity
(=>
(
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
If
a process
is an
instance
of
discovering
and
an entity
is a
patient
of
the process
and
the entity
is
located
at
another entity
holds
during
the
time
of existence of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
learning
and
the other process
is a
subprocess
of
the process
and
the entity
is
located
at
the other entity
is a
patient
of
the other process
(=>
(
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
If
a process
is an
instance
of
driving
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
road vehicle
,
then there exists
another process
such that
the other process
is an
instance
of
transport via a road vehicle
and
the other process
is a
subprocess
of
the process
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
Civil affairs activity
is a
subprocess
of
civil affairs operation
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