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
域
子過程
, 1 and
Process
(
domain
subProcess
2
Process
)
Merge.kif 3753-3753
域
子過程
, 2 and
Process
(
instance
subProcess
BinaryPredicate
)
Merge.kif 3750-3750
例
子過程
and
BinaryPredicate
(
instance
subProcess
PartialOrderingRelation
)
Merge.kif 3751-3751
例
子過程
and
PartialOrderingRelation
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
attribute
AutonomousAgent
and
配音演員
例
Process
and
戲劇表演
agent
Process
and
AutonomousAgent
例
Process
and
語言交流
agent
Process
and
AutonomousAgent
子過程
Process
and
Process
Process
AutonomousAgent
例
Process
and
Seeing
患者
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
Process
AutonomousAgent
例
Process
and
Hearing
患者
Process
and
AutonomousAgent
agent
Process
and
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
Physical
的使用對於
HotelUnit
是免費
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
是 對於
Human
的
price
測量
0.0 and
美國美元
(=>
(
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
例
Process
and
走動
子過程
Process
and
Process
例
Process
and
步進
子過程
Process
and
Process
例
Process
and
步進
等於
Process
START and
開始
何時
Process
等於
Process
START and
開始
何時
Process
之前
Process
START and
Process
START
之前
Process
START and
Process
START
等於
Process
and
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
例
AccessingWebPage
and
AccessingWebPage
例
Entity
and
WebPage
例
Process
and
數據傳輸
例
Object
and
服務器
例
Process
and
Requesting
例
AutonomousAgent
and
WebBrowser
例
TimeInterval
and
TimeInterval
患者
AccessingWebPage
and
Entity
agent
Process
and
AutonomousAgent
目的地
Process
and
Object
患者
Process
and
Entity
起源
Process
and
Object
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
子過程
Process
and
AccessingWebPage
子過程
Process
and
AccessingWebPage
等於
結束
何時
Process
and
開始
TimeInterval
等於
結束
何時
Process
and
結束
TimeInterval
等於
access
的時間在
AccessingWebPage
and
TimeInterval
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
例
Process
and
走動
例
Process
and
步進
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
例
Process
and
走動
例
Process
and
步進
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
agent
Process
and
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
例
Process
and
封鎖
例
Contest
and
Contest
子過程
Process
and
Contest
AutonomousAgent
participates
在
Contest
agent
Process
and
AutonomousAgent
Contest
1
CognitiveAgent
防止
Contest
1 and
易位
例
Process
and
Contest
1
CognitiveAgent
participates
在
Contest
等於
AutonomousAgent
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
例
entity
and
Contest
1
agent
entity
and
AutonomousAgent
子過程
entity
and
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
例
Process
and
CPR
例
Motion
and
Compressing
路徑
Motion
and
Object
子過程
Motion
and
Process
length
Object
and
測量
RealNumber
and
厘米
比較多
RealNumber
and 5.0
少於
RealNumber
and 6.0
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
agent
?DRIVING ?DRIVER))
(
transported
?TRANSPORT ?DRIVER))
Mid-level-ontology.kif 23575-23581
例
Process
and
Driving
子過程
Transportation
and
Process
例
Transportation
and
Transportation
agent
Process
and
AutonomousAgent
運送的
Transportation
and
AutonomousAgent
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
destination
?DRIVING ?DEST))
(
destination
?TRANSPORT ?DEST))
Mid-level-ontology.kif 23583-23589
例
Process
and
Driving
子過程
Process
and
Process
例
Process
and
Transportation
目的地
Process
and
Entity
目的地
Process
and
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
例
Process
and
Driving
子過程
Transportation
and
Process
例
Transportation
and
Transportation
例
TransportationDevice
and
車輛
患者
Process
and
TransportationDevice
輸送
Transportation
and
TransportationDevice
(=>
(
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
例
Process
and
塵暴
例
Process
and
風
子過程
Process
and
Process
Transfer
Object
,
Object
,
Object
,
Object
and
RealNumber
例
Object
and
LandArea
Process
是
located
在
Object
測量
RealNumber
and
結速度單位
是
Object
的
surface
風速
比較多
RealNumber
and 30.0
例
Transfer
and
易位
子過程
Transfer
and
Process
objectTransferred
Transfer
and
Object
objectTransferred
Transfer
and
Object
例
Object
and
ParticulateMatter
例
Object
and
砂
例
Object
and
LandArea
目的地
Transfer
and
Object
在空間上重疊
Object
and
Object
(=>
(
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
例
Process
and
FoamingMilk
患者
Process
and
Physical
例
Physical
and
ProcessedMilk
例
Process
and
Heating
子過程
Process
and
Process
測量
Physical
and
測量
RealNumber
and
攝氏度
approximateValue
RealNumber
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
例
Process
and
棒球
例
Process
and
鋪地石
子過程
Process
and
Process
Object
例
Object
and
投手丘
起源
Process
and
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
例
Object
and
遊戲目標
儀器
Process
and
Object
例
Process
and
Game
子過程
Process
and
Process
例
Process
and
得分
Entity
TimePosition
例
Entity
and
遊戲片
患者
Process
and
Entity
時間部分
TimePosition
and
何時
Process
持有期間
TimePosition
and
位於
Entity
and
Object
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
patient
?GUIDE ?MOVED)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
))
(
patient
?MOTION ?MOVED))
ComputerInput.kif 85-91
例
Process
and
GuidingMotion
患者
Process
and
Entity
子過程
Process
and
Process
例
Process
and
Motion
患者
Process
and
Entity
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
)
(
patient
?MOTION ?MOVED))
(
patient
?GUIDE ?MOVED))
ComputerInput.kif 93-99
例
Process
and
GuidingMotion
子過程
Process
and
Process
例
Process
and
Motion
患者
Process
and
Entity
患者
Process
and
Entity
(=>
(
and
(
instance
?MANEUVER
Maneuver
)
(
instance
?CONTEST
ViolentContest
)
(
subProcess
?MANEUVER ?CONTEST))
(
or
(
instance
?MANEUVER
Attack
)
(
instance
?MANEUVER
DefensiveManeuver
)))
Merge.kif 13442-13449
例
Process
and
Maneuver
例
Process
and
ViolentContest
子過程
Process
and
Process
例
Process
and
攻擊
例
Process
and
防守機動
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
例
Entity
and
OPLAN
代表
Entity
and
Process
例
Process
and
軍事行動
子過程
Process
SUB and
Process
代表
Entity
and
Process
SUB
(=>
(
and
(
instance
?P
DramaticPerformance
)
(
subProcess
?A ?P))
(
instance
?A
DramaticActing
))
Mid-level-ontology.kif 15957-15961
例
Process
and
戲劇性的表現
子過程
Process
and
Process
例
Process
and
戲劇表演
(=>
(
and
(
instance
?P
MusicalPerformance
)
(
subProcess
?M ?P))
(
instance
?M
MakingMusic
))
Mid-level-ontology.kif 15933-15937
例
Process
and
音樂表演
子過程
Process
and
Process
例
Process
and
MakingMusic
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
例
Process
and
Process
Process
是
located
在
Object
子過程
Process
and
Process
Process
是
located
在
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
例
Process
and
TransactionCollection
例
Process
and
Buying
例
Process
and
Buying
子過程
Process
and
Process
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
儀器
Process
and
Object
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
儀器
Process
and
Object
儀器
Process
and
Object
(=>
(
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
例
Process
and
TransactionCollection
例
Process
and
Buying
例
Process
and
Buying
子過程
Process
and
Process
子過程
Process
and
Process
等於
何時
Process
and
何時
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
例
Process
and
RecreationOrExercise
儀器
Process
and
Process
M
例
Process
M and
RowingMachine
體驗者
Process
and
AutonomousAgent
例
Process
OW and
划船
子過程
Process
MOT and
Process
子類
Class
and
BodyMotion
例
Process
MOT and
Class
Process
OWMOT
例
Process
OWMOT and
Class
子過程
Process
OWMOT and
Process
agent
Process
OWMOT and
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
attribute
Object
and
和弦音樂
Process
Process
例
Object
and
MakingMusic
例
Process
and
MakingMusic
例
Process
and
MakingMusic
子過程
Process
and
Object
子過程
Process
and
Object
等於
Process
and
Process
一同發生
Process
and
Object
一同發生
Process
and
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
方式
Process
and
Harmless
例
Process
and
Damaging
Process
例
Process
and
Damaging
子過程
Process
and
Process
Process
例
Process
and
Damaging
原因
Process
and
Process
(=>
(
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
agent
Process
and
AutonomousAgent
起源
Process
and
Object
患者
Process
and
Physical
貨幣價值
Physical
and
CurrencyMeasure
FinancialTransaction
子過程
FinancialTransaction
and
Process
例
FinancialTransaction
and
付款
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
起源
FinancialTransaction
and
AutonomousAgent
目的地
FinancialTransaction
and
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
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Process
模態屬性
entity
entity
and
entity
元件
entity
and
屬性
AutonomousAgent
agent
entity
and
AutonomousAgent
患者
entity
and
CognitiveAgent
例
entity
and
Physical
例
entity
and
Physical
子過程
entity
and
entity
位於
entity
and
entity
and
可能性
(=>
(
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
等於
歌曲
and
song
構成
音樂作品
和
LyricalContent
實現
歌曲
and
Process
Process
Process
患者
Process
and
音樂作品
患者
Process
and
LyricalContent
子過程
Process
and
Process
子過程
Process
and
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
例
Process
and
Surgery
患者
Process
and
Entity
Process
例
Process
and
Cutting
例
Entity
and
Animal
患者
Process
and
Entity
子過程
Process
and
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
例
Process
and
走動
等於
TimeInterval
and
何時
Process
Process
Process
例
Process
and
步進
例
Process
and
步進
子過程
Process
and
Process
子過程
Process
and
Process
啟動
何時
Process
and
TimeInterval
飾面
何時
Process
and
TimeInterval
等於
Process
and
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
例
Process
and
伏擊
agent
Process
and
AutonomousAgent
Process
例
Process
and
隱瞞
子過程
Process
and
Process
有目的
Process
and
entity
例
entity
and
攻擊
agent
entity
and
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
例
Process
and
航空攝影偵察
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
拍攝
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
例
Process
and
兩棲偵察
agent
Process
and
AutonomousAgent
Process
子過程
Process
and
Process
例
Process
and
登陸水域
agent
Process
and
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
例
被捕
and
被捕
被捕
被捕
and
AutonomousAgent
例
AutonomousAgent
and
一群人
會員
AutonomousAgent
and
AutonomousAgent
被捕
例
被捕
and
被捕
被捕
被捕
and
AutonomousAgent
子過程
被捕
and
被捕
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Authorization)
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
subProcess
?Authorization ?Transaction))))
FinancialOntology.kif 1033-1041
例
金融賬戶
and
儲蓄賬戶
例
Process
and
FinancialTransaction
起源
Process
and
金融賬戶
的
currency
Process
例
Process
and
交易授權
子過程
Process
and
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
例
Process
and
封鎖
例
Contest
and
Contest
子過程
Process
and
Contest
AutonomousAgent
participates
在
Contest
agent
Process
and
AutonomousAgent
Contest
1
CognitiveAgent
防止
Contest
1 and
易位
例
Process
and
Contest
1
CognitiveAgent
participates
在
Contest
等於
AutonomousAgent
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
例
entity
and
Contest
1
agent
entity
and
AutonomousAgent
子過程
entity
and
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
例
Process
and
Buying
患者
Process
and
Entity
起源
Process
and
CognitiveAgent
Entity
的
price
從
CognitiveAgent
根據
PricingScheme
是
CurrencyMeasure
unit
price
已收費
CognitiveAgent
在
PricingScheme
底下 對於
FunctionQuantity
是
Entity
子類
Entity
and
Physical
立即實例
Entity
and
Entity
付款
是
valid
payment
在
PricingScheme
底下
模態屬性
付款
MENT
例
付款
MENT and
付款
子過程
付款
MENT and
Process
and
容易
(=>
(
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
例
Process
and
Choking
體驗者
Process
and
AutonomousAgent
Process
O
例
Process
O and
Coughing
子過程
Process
O and
Process
體驗者
Process
O and
AutonomousAgent
(=>
(
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
例
Process
and
Coughing
體驗者
Process
and
AutonomousAgent
Process
Process
例
Process
and
吸入
例
Process
and
呼氣
子過程
Process
and
Process
子過程
Process
and
Process
體驗者
Process
and
AutonomousAgent
體驗者
Process
and
AutonomousAgent
(=>
(
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
例
Process
and
Crushing
患者
Process
and
Entity
例
Entity
and
Object
Process
Process
例
Process
and
Breaking
原因
Process
and
Process
子過程
Process
and
Process
例
Process
and
ShapeChange
患者
Process
and
Entity
患者
Process
and
Entity
(=>
(
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
例
Process
and
Curdling
患者
Process
and
Substance
例
Substance
and
膠體
Process
Substance
例
Process
and
Separating
子過程
Process
and
Process
患者
Process
and
Substance
結果
Process
and
Substance
片
Substance
and
Substance
例
Substance
and
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
例
Process
and
CurdlingMilk
例
Physical
and
奶
患者
Process
and
Physical
RealNumber
Process
,
entity
and
entity
測量
Physical
and
測量
RealNumber
and
酸鹼度
例
Process
and
Decreasing
子過程
Process
and
Process
患者
Process
and
RealNumber
持有期間
開始
何時
Process
,
等於
RealNumber
and
entity
and
approximateValue
entity
and 6.5
持有期間
結束
何時
Process
,
等於
RealNumber
and
entity
and
approximateValue
entity
and 4.5
(=>
(
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
例
Process
and
CuringFood
例
Entity
and
Food
患者
Process
and
Entity
Process
例
Process
and
Drying
子過程
Process
and
Process
患者
Process
and
Entity
(=>
(
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
例
Process
and
驗證卡代碼
患者
Process
and
ContentBearingObject
銀行卡
是
ContentBearingObject
的
card
代號
Process
例
Process
and
Decoding
子過程
Process
and
Process
患者
Process
and
ContentBearingObject
(=>
(
and
(
instance
?D
Diet
)
(
realization
?P ?D))
(
exists
(?E)
(
and
(
subProcess
?E ?P)
(
instance
?E
Eating
))))
Mid-level-ontology.kif 21533-21540
例
Proposition
and
飲食
實現
Process
and
Proposition
Process
子過程
Process
and
Process
例
Process
and
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
例
Process
and
精確破壞
患者
Process
and
Entity
有目的
Process
and
entity
entity
例
entity
and
Damaging
子過程
entity
and
Process
患者
entity
and
entity
等於
Entity
and
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
例
Process
and
發現
患者
Process
and
Entity
持有期間
何時
Process
and
位於
Entity
and
entity
Process
例
Process
and
Learning
子過程
Process
and
Process
患者
Process
and
位於
Entity
and
entity
(=>
(
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
例
Process
and
Driving
患者
Process
and
Entity
例
Entity
and
公路車輛
Process
例
Process
and
通過公路車輛運輸
子過程
Process
and
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
子過程
民政活動
and
民政運作
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