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
subProcess
の数値 1 引数は
工程
の
instance
では %n
(
domain
subProcess
2
Process
)
Merge.kif 3753-3753
subProcess
の数値 2 引数は
工程
の
instance
では %n
(
instance
subProcess
BinaryPredicate
)
Merge.kif 3750-3750
subProcess
は
2進述語
の
instance
では %n
(
instance
subProcess
PartialOrderingRelation
)
Merge.kif 3751-3751
subProcess
は
半順序関係
の
instance
では %n
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
は
AutonomousAgent
の
attribute
では %n
工程
は
DramaticActing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
LinguisticCommunication
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
% の
subprocess
では %n
工程
AutonomousAgent
工程
は
見ること
の
instance
では %n
AutonomousAgent
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
AutonomousAgent
工程
は
聴覚
の
instance
では %n
AutonomousAgent
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
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
物理
物理
は
工程
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
人[人間]
は
工程
の
patient
では %n
工程
は
物理
の
instance
では %n
工程
は
物理
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
TemporaryResidence
に
located
して %n
price
工程
, 0.0 の
UnitedStatesDollar
(s) 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
工程
は
Ambulating
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Stepping
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Stepping
の
instance
では %n
工程
START は
工程
の
time
の existence の
beginning
と
equal
では %n
工程
START は
工程
の
time
の existence の
beginning
と
equal
では %n
工程
START は
工程
START の
before
に happens %n{ない}
工程
START は
工程
START の
before
に happens %n{ない}
工程
は
工程
と
equal
では %n
(=>
(
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
は
AccessingWebPage
の
instance
では %n
エンティティー
は
WebPage
の
instance
では %n
工程
は
DataTransfer
の
instance
では %n
オブジェクト
は
Server
の
instance
では %n
工程
は
要求
の
instance
では %n
AutonomousAgent
は
WebBrowser
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
エンティティー
は
AccessingWebPage
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
オブジェクト
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
AccessingWebPage
% の
subprocess
では %n
工程
は
AccessingWebPage
% の
subprocess
では %n
工程
の
time
の existence の
end
は
時間間隔
の
beginning
と
equal
では %n
工程
の
time
の existence の
end
は
時間間隔
の
end
と
equal
では %n
SiteSpeedFn
AccessingWebPage
は
時間間隔
と
equal
では %n
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
工程
は
Ambulating
の
instance
では %n
工程
は
Stepping
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
工程
は
Ambulating
の
instance
では %n
工程
は
Stepping
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
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
工程
は
Blockade
の
instance
では %n
コンテスト
は
コンテスト
の
instance
では %n
工程
は
コンテスト
% の
subprocess
では %n
contestParticipant
コンテスト
and
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
コンテスト
1
認識エージェント
コンテスト
1 は
Translocation
の出来事を
prevent
s %n{ない}
工程
は
コンテスト
1 の
instance
では %n
contestParticipant
コンテスト
and
認識エージェント
AutonomousAgent
は
認識エージェント
と
equal
では
認識エージェント
が
エンティティー
エンティティー
は
コンテスト
1 の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
コンテスト
% の
subprocess
では %n を
desire
s %n{ない}
(=>
(
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
工程
は
CPR
の
instance
では %n
motion
は
Compressing
の
instance
では %n
オブジェクト
は
motion
が 発生する
path
では %n
motion
は
工程
% の
subprocess
では %n
オブジェクト
の
length
は
実数
の
Centimeter
(s) では
実数
は 5.0 より
greater
では %n
実数
は 6.0 より
less
では %n
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
agent
?DRIVING ?DRIVER))
(
transported
?TRANSPORT ?DRIVER))
Mid-level-ontology.kif 23575-23581
工程
は
運転
の
instance
では %n
交通手段
は
工程
% の
subprocess
では %n
交通手段
は
交通手段
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
交通手段
の間
transported
%n
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
destination
?DRIVING ?DEST))
(
destination
?TRANSPORT ?DEST))
Mid-level-ontology.kif 23583-23589
工程
は
運転
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
交通手段
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
(=>
(
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
工程
は
運転
の
instance
では %n
交通手段
は
工程
% の
subprocess
では %n
交通手段
は
交通手段
の
instance
では %n
輸送機
は
Vehicle
の
instance
では %n
輸送機
は
工程
の
patient
では %n
輸送機
は
交通手段
の間の
conveyance
では %n
(=>
(
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
工程
は
DustStorm
の
instance
では %n
工程
は
Wind
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
移動
オブジェクト
,
オブジェクト
,
オブジェクト
,
オブジェクト
and
実数
オブジェクト
は
土地面積
の
instance
では %n
eventLocated
工程
and
オブジェクト
surfaceWindSpeed
オブジェクト
and
実数
の
KnotUnitOfSpeed
(s)
実数
は 30.0 より
greater
では %n
移動
は
Translocation
の
instance
では %n
移動
は
工程
% の
subprocess
では %n
objectTransferred
移動
and
オブジェクト
objectTransferred
移動
and
オブジェクト
オブジェクト
は
ParticulateMatter
の
instance
では %n
オブジェクト
は
Sand
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
移動
は
オブジェクト
に
end
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
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
工程
は
FoamingMilk
の
instance
では %n
物理
は
工程
の
patient
では %n
物理
は
ProcessedMilk
の
instance
では %n
工程
は
加熱
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
物理
の
measure
は
実数
の
CelsiusDegree
(s) では %n
approximateValue
実数
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
工程
は
Baseball
の
instance
では %n
工程
は
Pitching
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
オブジェクト
オブジェクト
は
PitchersMound
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
(=>
(
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
オブジェクト
は
GameGoal
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
ゲーム
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Score
の
instance
では %n
エンティティー
時間位置
エンティティー
は
GamePiece
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
時間位置
は
工程
の
time
の existence の
part
では %n
エンティティー
は
オブジェクト
に
located
して %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
patient
?GUIDE ?MOVED)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
))
(
patient
?MOTION ?MOVED))
ComputerInput.kif 85-91
工程
は
GuidingMotion
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
motion
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
)
(
patient
?MOTION ?MOVED))
(
patient
?GUIDE ?MOVED))
ComputerInput.kif 93-99
工程
は
GuidingMotion
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
motion
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?MANEUVER
Maneuver
)
(
instance
?CONTEST
ViolentContest
)
(
subProcess
?MANEUVER ?CONTEST))
(
or
(
instance
?MANEUVER
Attack
)
(
instance
?MANEUVER
DefensiveManeuver
)))
Merge.kif 13442-13449
工程
は
策略
の
instance
では %n
工程
は
激しいコンテスト
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Attack
の
instance
では %n
工程
は
DefensiveManeuver
の
instance
では %n
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
エンティティー
は
OPLAN
の
instance
では %n
エンティティー
は
工程
を
express
es %n{ない}
工程
は
MilitaryOperation
の
instance
では %n
工程
SUB は
工程
% の
subprocess
では %n
エンティティー
は
工程
SUB を
express
es %n{ない}
(=>
(
and
(
instance
?P
DramaticPerformance
)
(
subProcess
?A ?P))
(
instance
?A
DramaticActing
))
Mid-level-ontology.kif 15957-15961
工程
は
DramaticPerformance
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
DramaticActing
の
instance
では %n
(=>
(
and
(
instance
?P
MusicalPerformance
)
(
subProcess
?M ?P))
(
instance
?M
MakingMusic
))
Mid-level-ontology.kif 15933-15937
工程
は
MusicalPerformance
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
MakingMusic
の
instance
では %n
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
工程
は
工程
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
工程
% の
subprocess
では %n
eventLocated
工程
and
オブジェクト
(=>
(
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
工程
は
TransactionCollection
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
instrument
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
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
工程
は
TransactionCollection
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
工程
の
time
の existence は
工程
の
time
の existence と
equal
では %n
(=>
(
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
工程
は
レクリエーションまたは運動
の
instance
では %n
工程
M は
工程
の
instrument
では %n
工程
M は
RowingMachine
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
OW は
Rowing
の
instance
では %n
工程
MOT は
工程
% の
subprocess
では %n
クラス
は
動作
の
subclass
では %n
工程
MOT は
クラス
の
instance
では %n
工程
OWMOT
工程
OWMOT は
クラス
の
instance
では %n
工程
OWMOT は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
OWMOT の
agent
では %n
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
は
オブジェクト
の
attribute
では %n
工程
工程
オブジェクト
は
MakingMusic
の
instance
では %n
工程
は
MakingMusic
の
instance
では %n
工程
は
MakingMusic
の
instance
では %n
工程
は
オブジェクト
% の
subprocess
では %n
工程
は
オブジェクト
% の
subprocess
では %n
工程
は
工程
と
equal
では
工程
は
オブジェクト
と同時に
occur
s %n{ない}
工程
は
オブジェクト
と同時に
occur
s %n{ない}
(<=>
(
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
工程
は
Harmless
の方法で実行され %n
工程
は
損害を与える
の
instance
では
工程
2
工程
2 は
損害を与える
の
instance
では %n
工程
2 は
工程
% の
subprocess
では %n
工程
2
工程
2 は
損害を与える
の
instance
では %n
工程
は
工程
2 を
cause
s %n{ない}
(=>
(
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
AutonomousAgent
は
工程
の
agent
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
物理
は
工程
の
patient
では %n
物理
の
value
は
通貨測定
では %n
金融取引
金融取引
は
工程
% の
subprocess
では %n
金融取引
は
Payment
の
instance
では %n
transactionAmount
金融取引
and
通貨測定
金融取引
は
AutonomousAgent
から
originate
s %n{ない}
金融取引
は
オブジェクト
に
end
s %n{ない}
(=>
(
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
認識エージェント
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
物理
物理
は
工程
の
subclass
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
AutonomousAgent
は
エンティティー
の
agent
では %n
認識エージェント
は
エンティティー
の
patient
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
エンティティー
は
エンティティー
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
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
は
SongFn
MusicalComposition
and
LyricalContent
と
equal
では %n
Song
は
工程
の内容を
express
es %n{ない}
工程
工程
MusicalComposition
は
工程
の
patient
では %n
LyricalContent
は
工程
の
patient
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
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
工程
は
手術
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
工程
は
切断
の
instance
では %n
エンティティー
は
動物
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
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
工程
は
Ambulating
の
instance
では %n
時間間隔
は
工程
の
time
の existence と
equal
では %n
工程
工程
工程
は
Stepping
の
instance
では %n
工程
は
Stepping
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
工程
の
time
の existence は
時間間隔
を
start
s %n{ない}
工程
の
time
の existence は
時間間隔
を
finish
es %n{ない}
工程
は
工程
と
equal
では
(=>
(
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
工程
は
Ambush
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Concealing
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
エンティティー
エンティティー
は
Attack
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n の 目的 %n{ない}
(=>
(
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
工程
は
AirPhotographicReconnaissance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
工程
は
Photographing
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
工程
は
AmphibiousReconnaissance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
工程
% の
subprocess
では %n
工程
は
LandingWaterLand
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
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
は
PlacingUnderArrest
の
instance
では %n
AutonomousAgent
は、
PlacingUnderArrest
の最中逮捕され %n
AutonomousAgent
は
GroupOfPeople
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
member
では %n
PlacingUnderArrest
1
PlacingUnderArrest
1 は
PlacingUnderArrest
の
instance
では %n
AutonomousAgent
は、
PlacingUnderArrest
1 の最中逮捕され %n
PlacingUnderArrest
1 は
PlacingUnderArrest
% の
subprocess
では %n
(=>
(
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
は
SavingsAccount
の
instance
では %n
工程
は
金融取引
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
工程
は
AuthorizationOfTransaction
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
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
工程
は
Blockade
の
instance
では %n
コンテスト
は
コンテスト
の
instance
では %n
工程
は
コンテスト
% の
subprocess
では %n
contestParticipant
コンテスト
and
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
コンテスト
1
認識エージェント
コンテスト
1 は
Translocation
の出来事を
prevent
s %n{ない}
工程
は
コンテスト
1 の
instance
では %n
contestParticipant
コンテスト
and
認識エージェント
AutonomousAgent
は
認識エージェント
と
equal
では
認識エージェント
が
エンティティー
エンティティー
は
コンテスト
1 の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
コンテスト
% の
subprocess
では %n を
desire
s %n{ない}
(=>
(
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
工程
は
購買
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
認識エージェント
から
originate
s %n{ない}
publishedPrice
エンティティー
,
通貨測定
,
認識エージェント
and
PricingScheme
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
エンティティー
は
物理
の
subclass
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
validPaymentType
PricingScheme
and
Payment
ステートメント
Payment
MENT
Payment
MENT は
Payment
の
instance
では %n
Payment
MENT は
工程
% の
subprocess
では %n には
Likely
の
modal
force
が ある
(=>
(
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
工程
は
Choking
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
O
工程
O は
Coughing
の
instance
では %n
工程
O は
工程
% の
subprocess
では %n
AutonomousAgent
が
工程
O を
experience
s %n{ない}
(=>
(
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
工程
は
Coughing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
工程
は
Inhaling
の
instance
では %n
工程
は
Exhaling
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
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
工程
は
Crushing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
工程
工程
工程
は
Breaking
の
instance
では %n
工程
は
工程
を
cause
s %n{ない}
工程
は
工程
% の
subprocess
では %n
工程
は
形状変化
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
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
工程
は
Curdling
の
instance
では %n
物質
は
工程
の
patient
では %n
物質
は
Colloid
の
instance
では %n
工程
物質
工程
は
分離
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
物質
は
工程
の
patient
では %n
物質
は
工程
の
result
では %n
物質
は
物質
の
piece
では %n
物質
は
物質
の
instance
では %n
(=>
(
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
工程
は
CurdlingMilk
の
instance
では %n
物理
は
Milk
の
instance
では %n
物理
は
工程
の
patient
では %n
実数
工程
,
エンティティー
and
エンティティー
物理
の
measure
は
実数
の
PHValue
(s) では %n
工程
は
減少
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
実数
は
工程
の
patient
では %n
実数
は
エンティティー
と
equal
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
実数
は
エンティティー
と
equal
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
工程
は
CuringFood
の
instance
では %n
エンティティー
は
Food
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
工程
は
乾燥
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
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
工程
は
VerifyingCardCode
の
instance
では %n
コンテンツベアリングオブジェクト
は
工程
の
patient
では %n
cardCode
コンテンツベアリングオブジェクト
and
BankCard
工程
工程
は
復号化
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
コンテンツベアリングオブジェクト
は
工程
の
patient
では %n
(=>
(
and
(
instance
?D
Diet
)
(
realization
?P ?D))
(
exists
(?E)
(
and
(
subProcess
?E ?P)
(
instance
?E
Eating
))))
Mid-level-ontology.kif 21533-21540
命題
は
Diet
の
instance
では %n
工程
は
命題
の内容を
express
es %n{ない}
工程
工程
は
工程
% の
subprocess
では %n
工程
は
摂食
の
instance
では %n
(=>
(
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
工程
は
PreciseDestruction
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
エンティティー
エンティティー
は
損害を与える
の
instance
では %n
エンティティー
は
工程
% の
subprocess
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
と
equal
では の 目的 %n{ない}
(=>
(
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
工程
は
Discovering
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
during
holds %n{ない}
工程
工程
は
学習
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
patient
では %n
(=>
(
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
工程
は
運転
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
RoadVehicle
の
instance
では %n
工程
工程
は
TransportViaRoadVehicle
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
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
は
CivilAffairsOperation
% の
subprocess
では %n
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