Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 3756-3758
(documentation subProcess JapaneseLanguage "(subProcess ?SUBPROC ?PROC) は、?SUBPROC が ?PROC のサブプロセスであることを意味する。サブプロセスは、 Process の一時的に区別された部分(適切 かどうか)として理解されている。") japanese_format.kif 1640-1642
(domain subProcess 1 Process) Merge.kif 3753-3753 Il numero 1 argomenti di subProcess è un istanza di Processo
(domain subProcess 2 Process) Merge.kif 3754-3754 Il numero 2 argomenti di subProcess è un istanza di Processo
(instance subProcess BinaryPredicate) Merge.kif 3751-3751 subProcess è un' istanza di PredicatoBinario
(instance subProcess PartialOrderingRelation) Merge.kif 3752-3752 subProcess è un' istanza di RelazioneDiOrdineParziale

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
-------------------------


(=>
    (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
(=>
    (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
(=>
    (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 494-507
(=>
    (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
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?AMBULATE ?AGENT))
    (agent ?STEP ?AGENT))		 Mid-level-ontology.kif 509-515
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?STEP ?AGENT))
    (agent ?AMBULATE ?AGENT))		 Mid-level-ontology.kif 517-523
(=>
    (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 ?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
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (agent ?DRIVING ?DRIVER))
    (transported ?TRANSPORT ?DRIVER))		 Mid-level-ontology.kif 23627-23633
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (destination ?DRIVING ?DEST))
    (destination ?TRANSPORT ?DEST))		 Mid-level-ontology.kif 23635-23641
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))		 Mid-level-ontology.kif 23643-23650
(=>
    (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 1259-1280
(=>
    (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
(=>
    (and
        (instance ?G Baseball)
        (instance ?P Pitching)
        (subProcess ?P ?G))
    (exists (?M)
        (and
            (instance ?M PitchersMound)
            (origin ?P ?M))))		 Sports.kif 662-670
(=>
    (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 17078-17090
(=>
    (and
        (instance ?GUIDE GuidingMotion)
        (patient ?GUIDE ?MOVED)
        (subProcess ?MOTION ?GUIDE)
        (instance ?MOTION Motion))
    (patient ?MOTION ?MOVED))		 ComputerInput.kif 85-91
(=>
    (and
        (instance ?GUIDE GuidingMotion)
        (subProcess ?MOTION ?GUIDE)
        (instance ?MOTION Motion)
        (patient ?MOTION ?MOVED))
    (patient ?GUIDE ?MOVED))		 ComputerInput.kif 93-99
(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))		 Merge.kif 13488-13495
(=>
    (and
        (instance ?OPLAN OPLAN)
        (represents ?OPLAN ?OP)
        (instance ?OP MilitaryOperation)
        (subProcess ?OPSUB ?OP))
    (represents ?OPLAN ?OPSUB))		 MilitaryProcesses.kif 1794-1800
(=>
    (and
        (instance ?P DramaticPerformance)
        (subProcess ?A ?P))
    (instance ?A DramaticActing))		 Mid-level-ontology.kif 15984-15988
(=>
    (and
        (instance ?P MusicalPerformance)
        (subProcess ?M ?P))
    (instance ?M MakingMusic))		 Mid-level-ontology.kif 15960-15964
(=>
    (and
        (instance ?PROC Process)
        (eventLocated ?PROC ?LOC)
        (subProcess ?SUB ?PROC))
    (eventLocated ?SUB ?LOC))		 Mid-level-ontology.kif 23558-23563
(=>
    (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
(=>
    (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
(=>
    (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 8270-8284

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 744-755 attribute Oggetto and PolyphonicMusic Processo Processo Oggetto è un' istanza di MakingMusic Processo è un' istanza di MakingMusic Processo è un' istanza di MakingMusic Processo è un sottoprocesso di Oggetto Processo è un sottoprocesso di Oggetto Processo is uguale a Processo Processo occores nello stesso tempo di Oggetto Processo occores nello stesso tempo di Oggetto
(<=>
    (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 Processo è eseguito nel modo Harmless Processo è un' istanza di Danneggiare Processo2 Processo2 è un' istanza di Danneggiare Processo2 è un sottoprocesso di Processo Processo2 Processo2 è un' istanza di Danneggiare Processo causas Processo2
(=>
    (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

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