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
Le nombre 1 argument de
subProcess
est une
instance
de
processus
(
domain
subProcess
2
Process
)
Merge.kif 3753-3753
Le nombre 2 argument de
subProcess
est une
instance
de
processus
(
instance
subProcess
BinaryPredicate
)
Merge.kif 3750-3750
subProcess
est une
instance
de
pr�dicat binaire
(
instance
subProcess
PartialOrderingRelation
)
Merge.kif 3751-3751
subProcess
est une
instance
de
relation partiellement dirig�e
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
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
DramaticActing
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
LinguisticCommunication
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
processus
processus
AutonomousAgent
processus
est une
instance
de
voir
AutonomousAgent
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
AutonomousAgent
processus
est une
instance
de
entendre
AutonomousAgent
est un
patient
de
processus
processus
est un
agent
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
physique
physique
est une
sous
-classe de
processus
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
humain
est un
patient
de
processus
processus
est une
instance
de
physique
processus
est une
instance
de
physique
processus
est un
sous
-processus de
processus
processus
est
situ
� �
TemporaryResidence
price
processus
, 0.0
UnitedStatesDollar
(s) and
humain
(=>
(
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
Processus
est une
instance
de
Ambulating
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Stepping
processus
START est
d
�but de
temps
d'existence de
processus
processus
START est
d
�but de
temps
d'existence de
processus
processus
START se produit
avant
processus
START
processus
START se produit
avant
processus
START
processus
est
processus
(=>
(
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
est une
instance
de
AccessingWebPage
entit�
est une
instance
de
WebPage
processus
est une
instance
de
DataTransfer
objet
est une
instance
de
Server
processus
est une
instance
de
demander
AutonomousAgent
est une
instance
de
WebBrowser
interval temporel
est une
instance
de
interval temporel
entit�
est un
patient
de
AccessingWebPage
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
entit�
est un
patient
de
processus
processus
a pour
origine
objet
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
AccessingWebPage
processus
est un
sous
-processus de
AccessingWebPage
la
fin
de
temps
d'existence de
processus
est
d
�but de
interval temporel
la
fin
de
temps
d'existence de
processus
est
fin
de
interval temporel
SiteSpeedFn
AccessingWebPage
est
interval temporel
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
Processus
est une
instance
de
Ambulating
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
Processus
est une
instance
de
Ambulating
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
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
Processus
est une
instance
de
Blockade
affrontement
est une
instance
de
affrontement
processus
est un
sous
-processus de
affrontement
contestParticipant
affrontement
and
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
affrontement
1
agent cognitif
affrontement
1
previent
l'occurrence de
Translocation
processus
est une
instance
de
affrontement
1
contestParticipant
affrontement
and
agent cognitif
AutonomousAgent
est
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
affrontement
1
entit�
est un
agent
de
AutonomousAgent
entit�
est un
sous
-processus de
affrontement
(=>
(
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
Processus
est une
instance
de
CPR
d�palcement
est une
instance
de
Compressing
objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
est un
sous
-processus de
processus
le
longueur
de
objet
est
nombre r�el
Centimeter
(s)
nombre r�el
est
plus
grand
que 5.0
nombre r�el
est
moins
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
Processus
est une
instance
de
conduire
transporter
est un
sous
-processus de
processus
transporter
est une
instance
de
transporter
processus
est un
agent
de
AutonomousAgent
transported
transporter
and
AutonomousAgent
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
destination
?DRIVING ?DEST))
(
destination
?TRANSPORT ?DEST))
Mid-level-ontology.kif 23583-23589
Processus
est une
instance
de
conduire
processus
est un
sous
-processus de
processus
processus
est une
instance
de
transporter
processus
aboutit
�
entit�
processus
aboutit
�
entit�
(=>
(
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
Processus
est une
instance
de
conduire
transporter
est un
sous
-processus de
processus
transporter
est une
instance
de
transporter
v�hicule de transport
est une
instance
de
Vehicle
v�hicule de transport
est un
patient
de
processus
conveyance
transporter
and
v�hicule de transport
(=>
(
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
Processus
est une
instance
de
DustStorm
processus
est une
instance
de
Wind
processus
est un
sous
-processus de
processus
transf�re
objet
,
objet
,
objet
,
objet
and
nombre r�el
objet
est une
instance
de
zone de terre
eventLocated
processus
and
objet
surfaceWindSpeed
objet
and
nombre r�el
KnotUnitOfSpeed
(s)
nombre r�el
est
plus
grand
que 30.0
transf�re
est une
instance
de
Translocation
transf�re
est un
sous
-processus de
processus
objectTransferred
transf�re
and
objet
objectTransferred
transf�re
and
objet
objet
est une
instance
de
ParticulateMatter
objet
est une
instance
de
Sand
objet
est une
instance
de
zone de terre
transf�re
aboutit
�
objet
objet
ne
recouvre
%n{pas}
objet
(=>
(
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
Processus
est une
instance
de
FoamingMilk
physique
est un
patient
de
processus
physique
est une
instance
de
ProcessedMilk
processus
est une
instance
de
r�chauffer
processus
est un
sous
-processus de
processus
la
mesure
de
physique
est
nombre r�el
CelsiusDegree
(s)
approximateValue
nombre r�el
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
Processus
est une
instance
de
Baseball
processus
est une
instance
de
Pitching
processus
est un
sous
-processus de
processus
objet
objet
est une
instance
de
PitchersMound
processus
a pour
origine
objet
(=>
(
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
Objet
est une
instance
de
GameGoal
objet
est un
instrument
pour
processus
processus
est une
instance
de
jeu
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Score
entit�
position temporel
entit�
est une
instance
de
GamePiece
entit�
est un
patient
de
processus
position temporel
est une
partie
de
temps
d'existence de
processus
entit�
est
situ
� �
objet
pendant
position temporel
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
patient
?GUIDE ?MOVED)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
))
(
patient
?MOTION ?MOVED))
ComputerInput.kif 85-91
Processus
est une
instance
de
GuidingMotion
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
d�palcement
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
)
(
patient
?MOTION ?MOVED))
(
patient
?GUIDE ?MOVED))
ComputerInput.kif 93-99
Processus
est une
instance
de
GuidingMotion
processus
est un
sous
-processus de
processus
processus
est une
instance
de
d�palcement
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?MANEUVER
Maneuver
)
(
instance
?CONTEST
ViolentContest
)
(
subProcess
?MANEUVER ?CONTEST))
(
or
(
instance
?MANEUVER
Attack
)
(
instance
?MANEUVER
DefensiveManeuver
)))
Merge.kif 13442-13449
Processus
est une
instance
de
manoeuvre
processus
est une
instance
de
affrontement violent
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Attack
processus
est une
instance
de
DefensiveManeuver
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
Entit�
est une
instance
de
OPLAN
entit�
d
�finie
processus
processus
est une
instance
de
MilitaryOperation
processus
SUB est un
sous
-processus de
processus
entit�
d
�finie
processus
SUB
(=>
(
and
(
instance
?P
DramaticPerformance
)
(
subProcess
?A ?P))
(
instance
?A
DramaticActing
))
Mid-level-ontology.kif 15957-15961
Processus
est une
instance
de
DramaticPerformance
processus
est un
sous
-processus de
processus
processus
est une
instance
de
DramaticActing
(=>
(
and
(
instance
?P
MusicalPerformance
)
(
subProcess
?M ?P))
(
instance
?M
MakingMusic
))
Mid-level-ontology.kif 15933-15937
Processus
est une
instance
de
MusicalPerformance
processus
est un
sous
-processus de
processus
processus
est une
instance
de
MakingMusic
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
Processus
est une
instance
de
processus
eventLocated
processus
and
objet
processus
est un
sous
-processus de
processus
eventLocated
processus
and
objet
(=>
(
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
Processus
est une
instance
de
TransactionCollection
processus
est une
instance
de
acheter
processus
est une
instance
de
acheter
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
objet
est un
instrument
pour
processus
(=>
(
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
Processus
est une
instance
de
TransactionCollection
processus
est une
instance
de
acheter
processus
est une
instance
de
acheter
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
temps
d'existence de
processus
est
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
r�cr�ation ou exercice
processus
M est un
instrument
pour
processus
processus
M est une
instance
de
RowingMachine
AutonomousAgent
exp
�rimente
processus
processus
OW est une
instance
de
Rowing
processus
MOT est un
sous
-processus de
processus
classe
est une
sous
-classe de
mouvement du corps
processus
MOT est une
instance
de
classe
processus
OWMOT
processus
OWMOT est une
instance
de
classe
processus
OWMOT est un
sous
-processus de
processus
processus
OWMOT est un
agent
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
est un
attribut
de
objet
processus
processus
objet
est une
instance
de
MakingMusic
processus
est une
instance
de
MakingMusic
processus
est une
instance
de
MakingMusic
processus
est un
sous
-processus de
objet
processus
est un
sous
-processus de
objet
processus
est
processus
processus
se
produit en m�me temps que
objet
processus
se
produit en m�me temps que
objet
(<=>
(
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
Processus
est ex�cut� de la fa�on
Harmless
processus
est une
instance
de
endommager
processus
2
processus
2 est une
instance
de
endommager
processus
2 est un
sous
-processus de
processus
processus
2
processus
2 est une
instance
de
endommager
processus
cause
processus
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
Processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
objet
physique
est un
patient
de
processus
valeur
de
physique
est
mesure de devise
financial transaction
financial transaction
est un
sous
-processus de
processus
financial transaction
est une
instance
de
Payment
transactionAmount
financial transaction
and
mesure de devise
financial transaction
a pour
origine
AutonomousAgent
financial transaction
aboutit
�
objet
(=>
(
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
agent cognitif
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
physique
physique
est une
sous
-classe de
processus
l'argument
entit�
entit�
and
entit�
entit�
est un
appartenir
�
AutonomousAgent
entit�
est un
agent
de
AutonomousAgent
agent cognitif
est un
patient
de
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
physique
entit�
est un
sous
-processus de
entit�
entit�
est
situ
� �
entit�
a la
force
modale
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
est
SongFn
MusicalComposition
and
LyricalContent
Song
exprime
le contenu de
processus
processus
processus
MusicalComposition
est un
patient
de
processus
LyricalContent
est un
patient
de
processus
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
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
Processus
est une
instance
de
chirurgie
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
couper
entit�
est une
instance
de
animal
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
processus
(=>
(
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
Processus
est une
instance
de
Ambulating
interval temporel
est
temps
d'existence de
processus
processus
processus
processus
est une
instance
de
Stepping
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
temps
d'existence de
processus
commence
interval temporel
temps
d'existence de
processus
finit
interval temporel
processus
est
processus
(=>
(
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
Processus
est une
instance
de
Ambush
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
Concealing
processus
est un
sous
-processus de
processus
processus
a pour
but
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
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
Processus
est une
instance
de
AirPhotographicReconnaissance
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
Photographing
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
Processus
est une
instance
de
AmphibiousReconnaissance
processus
est un
agent
de
AutonomousAgent
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
LandingWaterLand
processus
est un
agent
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
est une
instance
de
PlacingUnderArrest
arrested
PlacingUnderArrest
and
AutonomousAgent
AutonomousAgent
est une
instance
de
GroupOfPeople
AutonomousAgent
est un
membre
de
AutonomousAgent
PlacingUnderArrest
1
PlacingUnderArrest
1 est une
instance
de
PlacingUnderArrest
arrested
PlacingUnderArrest
1 and
AutonomousAgent
PlacingUnderArrest
1 est un
sous
-processus 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
est une
instance
de
SavingsAccount
processus
est une
instance
de
financial transaction
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
processus
est une
instance
de
AuthorizationOfTransaction
processus
est un
sous
-processus de
processus
(=>
(
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
Processus
est une
instance
de
Blockade
affrontement
est une
instance
de
affrontement
processus
est un
sous
-processus de
affrontement
contestParticipant
affrontement
and
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
affrontement
1
agent cognitif
affrontement
1
previent
l'occurrence de
Translocation
processus
est une
instance
de
affrontement
1
contestParticipant
affrontement
and
agent cognitif
AutonomousAgent
est
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
affrontement
1
entit�
est un
agent
de
AutonomousAgent
entit�
est un
sous
-processus de
affrontement
(=>
(
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
Processus
est une
instance
de
acheter
entit�
est un
patient
de
processus
processus
a pour
origine
agent cognitif
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validPaymentType
PricingScheme
and
Payment
l'argument
Payment
MENT
Payment
MENT est une
instance
de
Payment
Payment
MENT est un
sous
-processus de
processus
a la
force
modale
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
Processus
est une
instance
de
Choking
AutonomousAgent
exp
�rimente
processus
processus
O
processus
O est une
instance
de
Coughing
processus
O est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
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
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
processus
processus
est une
instance
de
Inhaling
processus
est une
instance
de
Exhaling
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
(=>
(
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
Processus
est une
instance
de
Crushing
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
processus
processus
processus
est une
instance
de
Breaking
processus
cause
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
changement de forme
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
Curdling
substance
est un
patient
de
processus
substance
est une
instance
de
Colloid
processus
substance
processus
est une
instance
de
separer
processus
est un
sous
-processus de
processus
substance
est un
patient
de
processus
substance
est le
resultat
de
processus
substance
est une
pi
�ce de
substance
substance
est une
instance
de
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
Processus
est une
instance
de
CurdlingMilk
physique
est une
instance
de
Milk
physique
est un
patient
de
processus
nombre r�el
processus
,
entit�
and
entit�
la
mesure
de
physique
est
nombre r�el
PHValue
(s)
processus
est une
instance
de
diminuer
processus
est un
sous
-processus de
processus
nombre r�el
est un
patient
de
processus
nombre r�el
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
est
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
CuringFood
entit�
est une
instance
de
nourriture
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
s�cher
processus
est un
sous
-processus de
processus
entit�
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
VerifyingCardCode
objet exprimant un sens
est un
patient
de
processus
cardCode
objet exprimant un sens
and
BankCard
processus
processus
est une
instance
de
decoder
processus
est un
sous
-processus de
processus
objet exprimant un sens
est un
patient
de
processus
(=>
(
and
(
instance
?D
Diet
)
(
realization
?P ?D))
(
exists
(?E)
(
and
(
subProcess
?E ?P)
(
instance
?E
Eating
))))
Mid-level-ontology.kif 21533-21540
Proposition
est une
instance
de
Diet
processus
exprime
le contenu de
proposition
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
manger
(=>
(
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
Processus
est une
instance
de
PreciseDestruction
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
endommager
entit�
est un
sous
-processus de
processus
entit�
est un
patient
de
entit�
entit�
est
entit�
(=>
(
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
Processus
est une
instance
de
Discovering
entit�
est un
patient
de
processus
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
processus
processus
processus
est une
instance
de
apprendre
processus
est un
sous
-processus de
processus
entit�
est
situ
� �
entit�
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
conduire
entit�
est un
patient
de
processus
entit�
est une
instance
de
RoadVehicle
processus
processus
est une
instance
de
TransportViaRoadVehicle
processus
est un
sous
-processus de
processus
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
est un
sous
-processus 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