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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subProcess
subProcess

appearance as argument number 1
-------------------------


s__documentation(s__subProcess__m,s__ChineseLanguage,'(subProcess ?SUBPROC ?PROC)的意思是 ?SUBPROC 是 ?PROC 的子过程。在这里,一个子过程可以理解为一个 Process 暂时可区分的(真整或非真整的)部分。')

Merge.kif 10109-10110
s__documentation(s__subProcess__m,s__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 10106-10108
s__domain(s__subProcess__m,1,s__Process)

Merge.kif 10104-10104
s__domain(s__subProcess__m,2,s__Process)

Merge.kif 10105-10105
s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 10102-10102
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 10103-10103

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__subProcess__m,'%1%n是%2的subProcess')

chinese_format.kif 573-573
s__format(s__EnglishLanguage,s__subProcess__m,'%1 is %n a subprocess of %2')

english_format.kif 351-351
s__format(s__FrenchLanguage,s__subProcess__m,'%1 est %n un sous-processus de %2')

french_format.kif 340-340
s__format(s__ItalianLanguage,s__subProcess__m,'%1 � %n un sottoprocesso di %2')

relations-it.txt 277-277
s__format(s__PortugueseLanguage,s__subProcess__m,'%1 e %n um sub-processo de %2')

portuguese_format.kif 292-292
s__format(s__cz__m,s__subProcess__m,'%1 %p{je} %n{nen�} a subprocess of %2')

relations-cz.txt 348-348
s__format(s__de__m,s__subProcess__m,'%1 ist ein subProzess von %2')

relations-de.txt 752-752
s__format(s__hi__m,s__subProcess__m,'%1 %2 kii upaprakriyaa hai')

relations-hindi.txt 314-314
s__format(s__tg__m,s__subProcess__m,'%1 %n ay ang paraan mas baba ng %2')

relations-tg.txt 469-469
s__termFormat(s__ChineseLanguage,s__subProcess__m,'子过程')

chinese_format.kif 574-574
s__termFormat(s__EnglishLanguage,s__subProcess__m,'sub process')

domainEnglishFormat.kif 9720-9720

antecedent
-------------------------


( ! [V__ACTOR,V__DRAMA,V__SPEAK,V__VIEWER] :
   ((s__attribute(V__ACTOR,s__VoiceActor) &
       s__instance(V__DRAMA,s__DramaticActing) &
       s__agent(V__DRAMA,V__ACTOR)
     &
     s__instance(V__SPEAK,s__LinguisticCommunication) &
     s__agent(V__SPEAK,V__ACTOR)
   &
   s__subProcess(V__SPEAK,V__DRAMA))
=>
((~ (? [V__S] :
     (s__instance(V__S,s__Seeing) &
       s__patient(V__S,V__ACTOR)
     &
     s__agent(V__S,V__VIEWER))))
&
(? [V__H] :
(s__instance(V__H,s__Hearing) &
s__patient(V__H,V__ACTOR)
&
s__agent(V__H,V__VIEWER)))))
)

Biography.kif 518-537
( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S] :
   ((s__freeRoomAmenity(V__ROOM,V__PROC)
     &
     s__subclass(V__PROC,s__Process) &
     s__instance(V__R,V__ROOM)
   &
   s__stays(V__GUEST,V__R)
&
s__element(V__R,s__PropertyFn(V__HOTEL))
&
(s__instance(V__P,V__PROC)
|
(s__instance(V__S,V__PROC)
&
s__subProcess(V__P,V__S)))
&
s__located(V__P,V__R))
=>
s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 350-363
( ! [V__A,V__S1,V__S2,V__S1_START,V__S2_START] :
   ((s__instance(V__A,s__Ambulating) &
       s__subProcess(V__S1,V__A)
     &
     s__instance(V__S1,s__Stepping) &
     s__subProcess(V__S2,V__A)
   &
   s__instance(V__S2,s__Stepping) &
   (V__S1_START = s__BeginFn(s__WhenFn(V__S1)))
&
(V__S2_START = s__BeginFn(s__WhenFn(V__S2)))
&
(~ (s__before(V__S1_START,V__S2_START)
|
s__before(V__S2_START,V__S1_START))))
=>
(V__S1 = V__S2))
)

Mid-level-ontology.kif 676-689
( ! [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL] :
   ((s__instance(V__ACCESSING,s__AccessingWebPage) &
       s__instance(V__PAGE,s__WebPage) &
       s__instance(V__TRANSFER,s__DataTransfer) &
       s__instance(V__SERVER,s__Server) &
       s__instance(V__REQUESTING,s__Requesting) &
       s__instance(V__BROWSER,s__WebBrowser) &
       s__instance(V__INTERVAL,s__TimeInterval) &
       s__patient(V__ACCESSING,V__PAGE)
     &
     s__agent(V__REQUESTING,V__BROWSER)
   &
   s__destination(V__REQUESTING,V__SERVER)
&
s__patient(V__REQUESTING,V__PAGE)
&
s__origin(V__TRANSFER,V__SERVER)
&
s__destination(V__TRANSFER,V__BROWSER)
&
s__patient(V__TRANSFER,V__PAGE)
&
s__subProcess(V__TRANSFER,V__ACCESSING)
&
s__subProcess(V__REQUESTING,V__ACCESSING)
&
(s__EndFn(s__WhenFn(V__REQUESTING))
= s__BeginFn(V__INTERVAL))
&
(s__EndFn(s__WhenFn(V__TRANSFER))
= s__EndFn(V__INTERVAL)))
=>
(s__SiteSpeedFn(V__ACCESSING)
= V__INTERVAL))
)

UXExperimentalTerms.kif 3954-3979
( ! [V__AMBULATE,V__STEP,V__AGENT] :
   ((s__instance(V__AMBULATE,s__Ambulating) &
       s__instance(V__STEP,s__Stepping) &
       s__subProcess(V__STEP,V__AMBULATE)
     &
     s__agent(V__AMBULATE,V__AGENT))
=>
s__agent(V__STEP,V__AGENT))
)

Mid-level-ontology.kif 692-698
( ! [V__AMBULATE,V__STEP,V__AGENT] :
   ((s__instance(V__AMBULATE,s__Ambulating) &
       s__instance(V__STEP,s__Stepping) &
       s__subProcess(V__STEP,V__AMBULATE)
     &
     s__agent(V__STEP,V__AGENT))
=>
s__agent(V__AMBULATE,V__AGENT))
)

Mid-level-ontology.kif 701-707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19503-19522
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 869-884
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 887-902
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 980-995
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1106-1124
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1179-1194
( ! [V__DRIVING,V__TRANSPORT,V__DRIVER] :
   ((s__instance(V__DRIVING,s__Driving) &
       s__subProcess(V__TRANSPORT,V__DRIVING)
     &
     s__instance(V__TRANSPORT,s__Transportation) &
     s__agent(V__DRIVING,V__DRIVER))
=>
s__transported(V__TRANSPORT,V__DRIVER))
)

Mid-level-ontology.kif 21457-21463
( ! [V__DRIVING,V__TRANSPORT,V__DEST] :
   ((s__instance(V__DRIVING,s__Driving) &
       s__subProcess(V__TRANSPORT,V__DRIVING)
     &
     s__instance(V__TRANSPORT,s__Transportation) &
     s__destination(V__DRIVING,V__DEST))
=>
s__destination(V__TRANSPORT,V__DEST))
)

Mid-level-ontology.kif 21465-21471
( ! [V__DRIVING,V__TRANSPORT,V__VEHICLE] :
   ((s__instance(V__DRIVING,s__Driving) &
       s__subProcess(V__TRANSPORT,V__DRIVING)
     &
     s__instance(V__TRANSPORT,s__Transportation) &
     s__instance(V__VEHICLE,s__Vehicle) &
     s__patient(V__DRIVING,V__VEHICLE))
=>
s__conveyance(V__TRANSPORT,V__VEHICLE))
)

Mid-level-ontology.kif 21473-21480
( ! [V__G,V__P] :
   ((s__instance(V__G,s__Baseball) &
       s__instance(V__P,s__Pitching) &
       s__subProcess(V__P,V__G))
   =>
   (? [V__M] :
     (s__instance(V__M,s__PitchersMound) &
       s__origin(V__P,V__M))))
)

Sports.kif 548-556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14604-14616
( ! [V__GUIDE,V__MOVED,V__MOTION] :
   ((s__instance(V__GUIDE,s__GuidingMotion) &
       s__patient(V__GUIDE,V__MOVED)
     &
     s__subProcess(V__MOTION,V__GUIDE)
   &
   s__instance(V__MOTION,s__Motion))
=>
s__patient(V__MOTION,V__MOVED))
)

ComputerInput.kif 106-112
( ! [V__GUIDE,V__MOTION,V__MOVED] :
   ((s__instance(V__GUIDE,s__GuidingMotion) &
       s__subProcess(V__MOTION,V__GUIDE)
     &
     s__instance(V__MOTION,s__Motion) &
     s__patient(V__MOTION,V__MOVED))
=>
s__patient(V__GUIDE,V__MOVED))
)

ComputerInput.kif 114-120
( ! [V__MANEUVER,V__CONTEST] :
   ((s__instance(V__MANEUVER,s__Maneuver) &
       s__instance(V__CONTEST,s__ViolentContest) &
       s__subProcess(V__MANEUVER,V__CONTEST))
   =>
   (s__instance(V__MANEUVER,s__Attack) |
     s__instance(V__MANEUVER,s__DefensiveManeuver)))
)

Merge.kif 13389-13396
( ! [V__OPLAN,V__OP,V__OPSUB] :
   ((s__instance(V__OPLAN,s__OPLAN) &
       s__represents(V__OPLAN,V__OP)
     &
     s__instance(V__OP,s__MilitaryOperation) &
     s__subProcess(V__OPSUB,V__OP))
=>
s__represents(V__OPLAN,V__OPSUB))
)

MilitaryProcesses.kif 1762-1768
( ! [V__P,V__A] :
   ((s__instance(V__P,s__DramaticPerformance) &
       s__subProcess(V__A,V__P))
   =>
   s__instance(V__A,s__DramaticActing))
)

Mid-level-ontology.kif 13613-13617
( ! [V__P,V__M] :
   ((s__instance(V__P,s__MusicalPerformance) &
       s__subProcess(V__M,V__P))
   =>
   s__instance(V__M,s__MakingMusic))
)

Mid-level-ontology.kif 13589-13593
( ! [V__PROC,V__LOC,V__SUB] :
   ((s__instance(V__PROC,s__Process) &
       s__eventLocated(V__PROC,V__LOC)
     &
     s__subProcess(V__SUB,V__PROC))
=>
s__eventLocated(V__SUB,V__LOC))
)

Mid-level-ontology.kif 21386-21391
( ! [V__PURCHASE,V__BUYING1,V__BUYING2,V__AGENT,V__INST] :
   ((s__instance(V__PURCHASE,s__TransactionCollection) &
       s__instance(V__BUYING1,s__Buying) &
       s__instance(V__BUYING2,s__Buying) &
       s__subProcess(V__BUYING1,V__PURCHASE)
     &
     s__subProcess(V__BUYING2,V__PURCHASE)
   &
   s__agent(V__PURCHASE,V__AGENT)
&
s__instrument(V__PURCHASE,V__INST))
=>
(s__agent(V__BUYING1,V__AGENT)
&
s__agent(V__BUYING2,V__AGENT)
&
s__instrument(V__BUYING1,V__INST)
&
s__instrument(V__BUYING2,V__INST)))
)

UXExperimentalTerms.kif 2146-2159

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


( ! [V__MUSIC] :
   (s__attribute(V__MUSIC,s__PolyphonicMusic) <=>
     (? [V__PART1,V__PART2] :
       (s__instance(V__MUSIC,s__MakingMusic) &
         s__instance(V__PART1,s__MakingMusic) &
         s__instance(V__PART2,s__MakingMusic) &
         s__subProcess(V__PART1,V__MUSIC)
       &
       s__subProcess(V__PART2,V__MUSIC)
     &
     (~ (V__PART1 = V__PART2))
     &
     s__cooccur(V__PART1,V__MUSIC)
   &
   s__cooccur(V__PART2,V__MUSIC))))
)

Mid-level-ontology.kif 927-938
( ! [V__P] :
   (s__manner(V__P,s__Harmless) <=>
     ((~ s__instance(V__P,s__Damaging))
       &
       (~ (? [V__P2] :
           (s__instance(V__P2,s__Damaging) &
             s__subProcess(V__P2,V__P))))
     &
     (~ (? [V__P2] :
         (s__instance(V__P2,s__Damaging) &
           s__causes(V__P,V__P2))))))
)

Mid-level-ontology.kif 28355-28369
( ! [V__Purchase,V__Buyer,V__Seller,V__Object,V__Money] :
   ((s__agent(V__Purchase,V__Buyer)
     &
     s__origin(V__Purchase,V__Seller)
   &
   s__patient(V__Purchase,V__Object)
&
s__monetaryValue(V__Object,V__Money))
=>
(? [V__Payment] :
(s__subProcess(V__Payment,V__Purchase)
&
s__instance(V__Payment,s__Payment) &
s__transactionAmount(V__Payment,V__Money)
&
s__destination(V__Payment,V__Seller))))
)

FinancialOntology.kif 465-476
No TPTP formula. May not be expressible in strict first order. Hotel.kif 495-510
( ! [V__S,V__MC,V__LC,V__MUSIC] :
   (((V__S = s__SongFn(V__MC,V__LC))
     &
     s__realization(V__S,V__MUSIC))
=>
(? [V__MM,V__MV] :
   (s__patient(V__MM,V__MC)
   &
   s__patient(V__MV,V__LC)
&
s__subProcess(V__MM,V__MUSIC)
&
s__subProcess(V__MV,V__MUSIC))))
)

Music.kif 869-878
( ! [V__ACT,V__ANIMAL] :
   ((s__instance(V__ACT,s__Surgery) &
       s__patient(V__ACT,V__ANIMAL))
   =>
   (? [V__SUBACT] :
     (s__instance(V__SUBACT,s__Cutting) &
       s__instance(V__ANIMAL,s__Animal) &
       s__patient(V__SUBACT,V__ANIMAL)
     &
     s__subProcess(V__SUBACT,V__ACT))))
)

Merge.kif 12135-12144
( ! [V__AMBULATE,V__DURATION] :
   ((s__instance(V__AMBULATE,s__Ambulating) &
       (V__DURATION = s__WhenFn(V__AMBULATE)))
   =>
   (? [V__STEP1,V__STEPN] :
     (s__instance(V__STEP1,s__Stepping) &
       s__instance(V__STEPN,s__Stepping) &
       s__subProcess(V__STEP1,V__AMBULATE)
     &
     s__subProcess(V__STEPN,V__AMBULATE)
   &
   s__starts(s__WhenFn(V__STEP1)
,V__DURATION)
&
s__finishes(s__WhenFn(V__STEPN)
,V__DURATION)
&
(~ (V__STEP1 = V__STEPN)))))
)

Mid-level-ontology.kif 661-673
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19484-19496
( ! [V__APR,V__AGENT,V__HOSTILE] :
   ((s__instance(V__APR,s__AirPhotographicReconnaissance) &
       s__agent(V__APR,V__AGENT)
     &
     s__patient(V__APR,V__HOSTILE))
=>
(? [V__PHOTOGRAPHING] :
   (s__instance(V__PHOTOGRAPHING,s__Photographing) &
     s__subProcess(V__PHOTOGRAPHING,V__APR)
   &
   s__agent(V__PHOTOGRAPHING,V__AGENT)
&
s__patient(V__PHOTOGRAPHING,V__HOSTILE))))
)

MilitaryProcesses.kif 742-752
( ! [V__AR,V__AGENT] :
   ((s__instance(V__AR,s__AmphibiousReconnaissance) &
       s__agent(V__AR,V__AGENT))
   =>
   (? [V__LANDING] :
     (s__subProcess(V__LANDING,V__AR)
     &
     s__instance(V__LANDING,s__LandingWaterLand) &
     s__agent(V__LANDING,V__AGENT))))
)

MilitaryProcesses.kif 771-779
( ! [V__ARREST,V__AGENT,V__MEMBER] :
   ((s__instance(V__ARREST,s__PlacingUnderArrest) &
       s__arrested(V__ARREST,V__AGENT)
     &
     s__instance(V__AGENT,s__GroupOfPeople) &
     s__member(V__MEMBER,V__AGENT))
=>
(? [V__ARREST1] :
   (s__instance(V__ARREST1,s__PlacingUnderArrest) &
     s__arrested(V__ARREST1,V__MEMBER)
   &
   s__subProcess(V__ARREST1,V__ARREST))))
)

Mid-level-ontology.kif 21374-21384
( ! [V__Account,V__Transaction] :
   ((s__instance(V__Account,s__SavingsAccount) &
       s__instance(V__Transaction,s__FinancialTransaction) &
       s__origin(V__Transaction,s__CurrencyFn(V__Account)))
=>
(? [V__Authorization] :
   (s__instance(V__Authorization,s__AuthorizationOfTransaction) &
     s__subProcess(V__Authorization,V__Transaction))))
)

FinancialOntology.kif 978-986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19503-19522
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
( ! [V__BT,V__EMPLOYEE] :
   ((s__instance(V__BT,s__BusinessTrip) &
       s__agent(V__BT,V__EMPLOYEE))
   =>
   (? [V__AS,V__H] :
     (s__instance(V__AS,s__AccommodationService) &
       s__subProcess(V__AS,V__BT)
     &
     s__serviceRecipient(V__AS,V__EMPLOYEE)
   &
   s__serviceProvider(V__AS,V__H)
&
s__instance(V__H,s__Hotel_Organization))))
)

TravelPolicies.kif 716-726
( ! [V__Check,V__Code,V__Card] :
   ((s__instance(V__Check,s__VerifyingCardCode) &
       s__patient(V__Check,V__Code)
     &
     s__cardCode(V__Code,V__Card))
=>
(? [V__Decode] :
   (s__instance(V__Decode,s__Decoding) &
     s__subProcess(V__Decode,V__Check)
   &
   s__patient(V__Decode,V__Code))))
)

FinancialOntology.kif 3463-3472
( ! [V__D,V__P] :
   ((s__instance(V__D,s__Diet) &
       s__realization(V__P,V__D))
   =>
   (? [V__E] :
     (s__subProcess(V__E,V__P)
     &
     s__instance(V__E,s__Eating))))
)

Mid-level-ontology.kif 19111-19118
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 607-619
No TPTP formula. May not be expressible in strict first order. Merge.kif 11871-11880
( ! [V__DRIVE,V__VEHICLE] :
   ((s__instance(V__DRIVE,s__Driving) &
       s__patient(V__DRIVE,V__VEHICLE)
     &
     s__instance(V__VEHICLE,s__RoadVehicle))
   =>
   (? [V__TRANSPORT] :
     (s__instance(V__TRANSPORT,s__TransportViaRoadVehicle) &
       s__subProcess(V__TRANSPORT,V__DRIVE))))
)

Mid-level-ontology.kif 21447-21455
( ! [V__ELT,V__A,V__T] :
   ((s__instance(V__ELT,s__ExperiencingALumpInTheThroat) &
       s__experiencer(V__ELT,V__A))
   =>
   (? [V__P] :
     (s__instance(V__P,s__Perception) &
       s__subProcess(V__P,V__ELT)
     &
     s__agent(V__P,V__A)
   &
   s__patient(V__P,V__T)
&
s__instance(V__T,s__Throat) &
s__part(V__T,V__A))))
)

emotion.kif 1672-1683
No TPTP formula. May not be expressible in strict first order. emotion.kif 1545-1559
( ! [V__ELT,V__A,V__T] :
   ((s__instance(V__ELT,s__ExperiencingHeatInCheeksOrChest) &
       s__experiencer(V__ELT,V__A))
   =>
   (? [V__P] :
     (s__instance(V__P,s__Perception) &
       s__subProcess(V__P,V__ELT)
     &
     s__agent(V__P,V__A)
   &
   s__patient(V__P,V__T)
&
(s__instance(V__T,s__Torso) |
   s__instance(V__T,s__Face))
&
s__part(V__T,V__A))))
)

emotion.kif 1695-1708
( ! [V__EV,V__A,V__P] :
   ((s__instance(V__EV,s__Evacuation) &
       s__agent(V__EV,V__A)
     &
     s__experiencer(V__EV,V__P))
=>
(? [V__C,V__CA] :
   (s__instance(V__C,s__Classifying) &
     s__subProcess(V__C,V__EV)
   &
   s__experiencer(V__C,V__P)
&
(s__subOrganization(V__CA,V__A)
|
s__member(V__CA,V__A)
|
(V__CA = V__A))
&
s__agent(V__C,V__CA))))
)

MilitaryProcesses.kif 2576-2590
( ! [V__EV,V__A,V__O] :
   ((s__instance(V__EV,s__Evacuation) &
       s__agent(V__EV,V__A)
     &
     s__origin(V__EV,V__O))
=>
(? [V__T,V__TA] :
   (s__instance(V__T,s__Translocation) &
     s__subProcess(V__T,V__EV)
   &
   s__origin(V__T,V__O)
&
(s__experiencer(V__T,V__TA)
|
s__agent(V__T,V__TA))
&
(s__subOrganization(V__TA,V__A)
|
s__member(V__TA,V__A)
|
(V__TA = V__A)))))
)

MilitaryProcesses.kif 2594-2610

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25