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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TickBorneEncephalitisVirus

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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners