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 3756-3758 | |
(documentation subProcess JapaneseLanguage "(subProcess ?SUBPROC ?PROC) は、?SUBPROC が ?PROC のサブプロセスであることを意味する。サブプロセスは、 Process の一時的に区別された部分(適切 かどうか)として理解されている。") | japanese_format.kif 1640-1642 | |
(domain subProcess 1 Process) | Merge.kif 3753-3753 | 域 子過程, 1 and Process |
(domain subProcess 2 Process) | Merge.kif 3754-3754 | 域 子過程, 2 and Process |
(instance subProcess BinaryPredicate) | Merge.kif 3751-3751 | 例 子過程 and BinaryPredicate |
(instance subProcess PartialOrderingRelation) | Merge.kif 3752-3752 | 例 子過程 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 delprocess 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 55777-55777 | |
(termFormat EnglishLanguage subProcess "sub process") | domainEnglishFormat.kif 55776-55776 |
antecedent |
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 744-755 | 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 30320-30334 | 方式 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 |
|
(=> (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 |
|
(=> (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 (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT)))) |
Merge.kif 12305-12314 | |
(=> (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 480-492 | |
(=> (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 21809-21821 | |
(=> (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 | |
(=> (and (instance ?AR AmphibiousReconnaissance) (agent ?AR ?AGENT)) (exists (?LANDING) (and (subProcess ?LANDING ?AR) (instance ?LANDING LandingWaterLand) (agent ?LANDING ?AGENT)))) |
MilitaryProcesses.kif 782-790 | |
(=> (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 23546-23556 |
|
(=> (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 (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 21828-21847 |
|
(=> (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 |
|
(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?CO) (and (instance ?CO Coughing) (subProcess ?CO ?C) (experiencer ?CO ?H)))) |
Mid-level-ontology.kif 11798-11806 | |
(=> (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 6037-6048 | |
(=> (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 | |
(=> (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 | |
(=> (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 |
|
(=> (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 | |
(=> (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 | |
(=> (and (instance ?D Diet) (realization ?P ?D)) (exists (?E) (and (subProcess ?E ?P) (instance ?E Eating)))) |
Mid-level-ontology.kif 21560-21567 | |
(=> (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 | |
(=> (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 12019-12028 | |
(=> (and (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (exists (?TRANSPORT) (and (instance ?TRANSPORT TransportViaRoadVehicle) (subProcess ?TRANSPORT ?DRIVE)))) |
Mid-level-ontology.kif 23617-23625 | |
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 民政運作 |