subProcess - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__subProcess__m,s__ChineseLanguage,'(subProcess ?SUBPROC ?PROC)的意思是 ?SUBPROC 是 ?PROC 的子过程。在这里，一个子过程可以理解为一个 Process 暂时可区分的(真整或非真整的)部分。')	Merge.kif 10167-10168
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 10164-10166
s__domain(s__subProcess__m,1,s__Process)	Merge.kif 10162-10162	The number 1 argument of sub process is an instance of process
s__domain(s__subProcess__m,2,s__Process)	Merge.kif 10163-10163	The number 2 argument of sub process is an instance of process
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__subProcess__m,s__BinaryPredicate)	Merge.kif 10160-10160	sub process is an instance of binary predicate
s__instance(s__PartialOrderingRelation,s__SetOrClass) s__instance(s__subProcess__m,s__PartialOrderingRelation)	Merge.kif 10161-10161	sub process is an instance of partial ordering relation

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__termFormat(s__ChineseLanguage,s__subProcess__m,'子过程')	chinese_format.kif 574-574	"子过程" is the printable form of sub process in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__subProcess__m,'sub process')	domainEnglishFormat.kif 9720-9720	"sub process" is the printable form of sub process in english language

antecedent

( ! [V__ACTOR,V__VIEWER,V__DRAMA,V__SPEAK] : ((s__instance(V__ACTOR,s__Agent)s__and__ms__instance(V__VIEWER,s__Agent)) s__=>((s__attribute(V__ACTOR,s__VoiceActor)s__and__ms__instance(V__DRAMA,s__DramaticActing)s__and__ms__agent(V__DRAMA,V__ACTOR) s__and__ms__instance(V__SPEAK,s__LinguisticCommunication)s__and__ms__agent(V__SPEAK,V__ACTOR) s__and__ms__subProcess(V__SPEAK,V__DRAMA)) s__=>((s__not__m(s__exists__m[V__S] : (s__instance(V__S,s__Seeing)s__and__ms__patient(V__S,V__ACTOR) s__and__ms__agent(V__S,V__VIEWER)))) s__and__m(s__exists__m[V__H] : (s__instance(V__H,s__Hearing)s__and__ms__patient(V__H,V__ACTOR) s__and__ms__agent(V__H,V__VIEWER)))))) )	Biography.kif 518-537	If voice actor is an attribute of an agent and a process is an instance of dramatic acting and the agent is an agent of the process and another process is an instance of linguistic communication and the agent is an agent of the other process and the other process is a subprocess of the process, then there doesn't exist a third process such that the third process is an instance of seeing and the agent is a patient of the third process and another agent is an agent of the third process and there exists a fourth process such that the fourth process is an instance of hearing and the agent is a patient of the fourth process and the other agent is an agent of the fourth process
( ! [V__P,V__R,V__ROOM,V__S,V__PROC,V__GUEST,V__HOTEL] : ((s__instance(V__P,s__Process)s__and__ms__instance(V__R,s__TemporaryResidence)s__and__ms__instance(V__ROOM,s__SetOrClass)s__and__ms__subclass(V__ROOM,s__HotelUnit)s__and__ms__instance(V__S,s__Process)s__and__ms__instance(V__PROC,s__SetOrClass)s__and__ms__instance(V__GUEST,s__Human)s__and__ms__instance(V__HOTEL,s__Agent)) s__=>((s__freeRoomAmenity(V__ROOM,V__PROC) s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__R,V__ROOM) s__and__ms__stays(V__GUEST,V__R) s__and__ms__element(V__R,s__PropertyFn(V__HOTEL)) s__and__m(s__instance(V__P,V__PROC) s__or__m(s__instance(V__S,V__PROC) s__and__ms__subProcess(V__P,V__S))) s__and__ms__located(V__P,V__R)) s__=>s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))) )	Hotel.kif 350-363	If use of a set or class is free for a kind of hotel unit and the set or class is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and a process is an instance of the set or class or another process is an instance of the set or class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process price 0 united states dollar(s) for the agent
( ! [V__S2_START,V__S1_START,V__A,V__S1,V__S2] : ((s__instance(V__S2_START,s__TimePoint)s__and__ms__instance(V__S1_START,s__TimePoint)) s__=>((s__instance(V__A,s__Ambulating)s__and__ms__subProcess(V__S1,V__A) s__and__ms__instance(V__S1,s__Stepping)s__and__ms__subProcess(V__S2,V__A) s__and__ms__instance(V__S2,s__Stepping)s__and__m(V__S1_STARTs__equal__ms__BeginFn(s__WhenFn(V__S1))) s__and__m(V__S2_STARTs__equal__ms__BeginFn(s__WhenFn(V__S2))) s__and__m(s__not__m(s__before(V__S1_START,V__S2_START) s__or__ms__before(V__S2_START,V__S1_START)))) s__=>(V__S1s__equal__mV__S2))) )	Mid-level-ontology.kif 676-689	If a process is an instance of ambulating and another process is a subprocess of the process and the other process is an instance of stepping and a third process is a subprocess of the process and the third process is an instance of stepping and the other process-START is equal to the beginning of the time of existence of the other process and the third process-START is equal to the beginning of the time of existence of the third process and the other process-START happens before the third process-START and the third process-START happens before the other process-START, then the other process is equal to the third process
( ! [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL] : ((s__instance(V__ACCESSING,s__AccessingWebPage)s__and__ms__instance(V__PAGE,s__WebPage)s__and__ms__instance(V__TRANSFER,s__DataTransfer)s__and__ms__instance(V__SERVER,s__Server)s__and__ms__instance(V__REQUESTING,s__Requesting)s__and__ms__instance(V__BROWSER,s__WebBrowser)s__and__ms__instance(V__INTERVAL,s__TimeInterval)s__and__ms__patient(V__ACCESSING,V__PAGE) s__and__ms__agent(V__REQUESTING,V__BROWSER) s__and__ms__destination(V__REQUESTING,V__SERVER) s__and__ms__patient(V__REQUESTING,V__PAGE) s__and__ms__origin(V__TRANSFER,V__SERVER) s__and__ms__destination(V__TRANSFER,V__BROWSER) s__and__ms__patient(V__TRANSFER,V__PAGE) s__and__ms__subProcess(V__TRANSFER,V__ACCESSING) s__and__ms__subProcess(V__REQUESTING,V__ACCESSING) s__and__m(s__EndFn(s__WhenFn(V__REQUESTING)) s__equal__ms__BeginFn(V__INTERVAL)) s__and__m(s__EndFn(s__WhenFn(V__TRANSFER)) s__equal__ms__EndFn(V__INTERVAL))) s__=>(s__SiteSpeedFn(V__ACCESSING) s__equal__mV__INTERVAL)) )	UXExperimentalTerms.kif 3954-3979	If a process is an instance of AccessingWebPage and an entity is an instance of WebPage and another process is an instance of data transfer and an object is an instance of server and a third process is an instance of requesting and an agent is an instance of web browser and a time interval is an instance of time interval and the entity is a patient of the process and the agent is an agent of the third process and the third process ends up at the object and the entity is a patient of the third process and the other process originates at the object and the other process ends up at the agent and the entity is a patient of the other process and the other process is a subprocess of the process and the third process is a subprocess of the process and the end of the time of existence of the third process is equal to the beginning of the time interval and the end of the time of existence of the other process is equal to the end of the time interval, then the time to access in the process is equal to the time interval
( ! [V__AGENT,V__AMBULATE,V__STEP] : (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__AMBULATE,s__Ambulating)s__and__ms__instance(V__STEP,s__Stepping)s__and__ms__subProcess(V__STEP,V__AMBULATE) s__and__ms__agent(V__AMBULATE,V__AGENT)) s__=>s__agent(V__STEP,V__AGENT))) )	Mid-level-ontology.kif 692-698	If a process is an instance of ambulating and another process is an instance of stepping and the other process is a subprocess of the process and an agent is an agent of the process, then the agent is an agent of the other process
( ! [V__AGENT,V__AMBULATE,V__STEP] : (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__AMBULATE,s__Ambulating)s__and__ms__instance(V__STEP,s__Stepping)s__and__ms__subProcess(V__STEP,V__AMBULATE) s__and__ms__agent(V__STEP,V__AGENT)) s__=>s__agent(V__AMBULATE,V__AGENT))) )	Mid-level-ontology.kif 701-707	If a process is an instance of ambulating and another process is an instance of stepping and the other process is a subprocess of the process and an agent is an agent of the other process, then the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19561-19580	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and the agent is not equal to the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
( ! [V__DRIVER,V__DRIVING,V__TRANSPORT] : (s__instance(V__DRIVER,s__Agent)s__=>((s__instance(V__DRIVING,s__Driving)s__and__ms__subProcess(V__TRANSPORT,V__DRIVING) s__and__ms__instance(V__TRANSPORT,s__Transportation)s__and__ms__agent(V__DRIVING,V__DRIVER)) s__=>s__transported(V__TRANSPORT,V__DRIVER))) )	Mid-level-ontology.kif 21488-21494	If a process is an instance of driving and a transportation is a subprocess of the process and the transportation is an instance of transportation and an agent is an agent of the process, then the agent is transported during the transportation
( ! [V__DRIVING,V__TRANSPORT,V__DEST] : ((s__instance(V__DRIVING,s__Driving)s__and__ms__subProcess(V__TRANSPORT,V__DRIVING) s__and__ms__instance(V__TRANSPORT,s__Transportation)s__and__ms__destination(V__DRIVING,V__DEST)) s__=>s__destination(V__TRANSPORT,V__DEST)) )	Mid-level-ontology.kif 21496-21502	If a process is an instance of driving and another process is a subprocess of the process and the other process is an instance of transportation and the process ends up at an entity, then the other process ends up at the entity
( ! [V__DRIVING,V__TRANSPORT,V__VEHICLE] : ((s__instance(V__DRIVING,s__Driving)s__and__ms__subProcess(V__TRANSPORT,V__DRIVING) s__and__ms__instance(V__TRANSPORT,s__Transportation)s__and__ms__instance(V__VEHICLE,s__Vehicle)s__and__ms__patient(V__DRIVING,V__VEHICLE)) s__=>s__conveyance(V__TRANSPORT,V__VEHICLE)) )	Mid-level-ontology.kif 21504-21511	If a process is an instance of driving and a transportation is a subprocess of the process and the transportation is an instance of transportation and a transportation device is an instance of vehicle and the transportation device is a patient of the process, then the transportation device is a conveyance during the transportation
( ! [V__G,V__P] : ((s__instance(V__G,s__Baseball)s__and__ms__instance(V__P,s__Pitching)s__and__ms__subProcess(V__P,V__G)) s__=>(s__exists__m[V__M] : (s__instance(V__M,s__PitchersMound)s__and__ms__origin(V__P,V__M)))) )	Sports.kif 548-556	If a process is an instance of baseball and another process is an instance of pitching and the other process is a subprocess of the process, then there exists an object such that the object is an instance of pitchers mound and the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14604-14616	If an object is an instance of game goal and the object is an instrument for a process and the process is an instance of game and another process is a subprocess of the process and the other process is an instance of score, then there exist an entity and a time position such that the entity is an instance of game piece and the entity is a patient of the other process and the time position is a part of the time of existence of the other process and the entity is located at the object holds during the time position
( ! [V__GUIDE,V__MOVED,V__MOTION] : ((s__instance(V__GUIDE,s__GuidingMotion)s__and__ms__patient(V__GUIDE,V__MOVED) s__and__ms__subProcess(V__MOTION,V__GUIDE) s__and__ms__instance(V__MOTION,s__Motion)) s__=>s__patient(V__MOTION,V__MOVED)) )	ComputerInput.kif 106-112	If a process is an instance of GuidingMotion and an entity is a patient of the process and another process is a subprocess of the process and the other process is an instance of motion, then the entity is a patient of the other process
( ! [V__GUIDE,V__MOTION,V__MOVED] : ((s__instance(V__GUIDE,s__GuidingMotion)s__and__ms__subProcess(V__MOTION,V__GUIDE) s__and__ms__instance(V__MOTION,s__Motion)s__and__ms__patient(V__MOTION,V__MOVED)) s__=>s__patient(V__GUIDE,V__MOVED)) )	ComputerInput.kif 114-120	If a process is an instance of GuidingMotion and another process is a subprocess of the process and the other process is an instance of motion and an entity is a patient of the other process, then the entity is a patient of the process
( ! [V__MANEUVER,V__CONTEST] : ((s__instance(V__MANEUVER,s__Maneuver)s__and__ms__instance(V__CONTEST,s__ViolentContest)s__and__ms__subProcess(V__MANEUVER,V__CONTEST)) s__=>(s__instance(V__MANEUVER,s__Attack)s__or__ms__instance(V__MANEUVER,s__DefensiveManeuver))) )	Merge.kif 13447-13454	If a process is an instance of maneuver and another process is an instance of violent contest and the process is a subprocess of the other process, then the process is an instance of attack or the process is an instance of defensive maneuver
( ! [V__OPSUB,V__OPLAN,V__OP] : (s__instance(V__OPSUB,s__Process)s__=>((s__instance(V__OPLAN,s__OPLAN)s__and__ms__represents(V__OPLAN,V__OP) s__and__ms__instance(V__OP,s__MilitaryOperation)s__and__ms__subProcess(V__OPSUB,V__OP)) s__=>s__represents(V__OPLAN,V__OPSUB))) )	MilitaryProcesses.kif 1762-1768	If an entity is an instance of OPLA n and the entity expresses a process and the process is an instance of military operation and the processSUB is a subprocess of the process, then the entity expresses the processSUB
( ! [V__A,V__P] : (s__instance(V__A,s__Process)s__=>((s__instance(V__P,s__DramaticPerformance)s__and__ms__subProcess(V__A,V__P)) s__=>s__instance(V__A,s__DramaticActing))) )	Mid-level-ontology.kif 13613-13617	If a process is an instance of dramatic performance and another process is a subprocess of the process, then the other process is an instance of dramatic acting
( ! [V__M,V__P] : (s__instance(V__M,s__Process)s__=>((s__instance(V__P,s__MusicalPerformance)s__and__ms__subProcess(V__M,V__P)) s__=>s__instance(V__M,s__MakingMusic))) )	Mid-level-ontology.kif 13589-13593	If a process is an instance of musical performance and another process is a subprocess of the process, then the other process is an instance of making music
( ! [V__SUB,V__PROC,V__LOC] : (s__instance(V__SUB,s__Process)s__=>((s__instance(V__PROC,s__Process)s__and__ms__eventLocated(V__PROC,V__LOC) s__and__ms__subProcess(V__SUB,V__PROC)) s__=>s__eventLocated(V__SUB,V__LOC))) )	Mid-level-ontology.kif 21417-21422	If a process is an instance of process and the process is located at 2 and another process is a subprocess of the process, then the other process is located at 2
( ! [V__AGENT,V__INST,V__PURCHASE,V__BUYING1,V__BUYING2] : ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__INST,s__Object)) s__=>((s__instance(V__PURCHASE,s__TransactionCollection)s__and__ms__instance(V__BUYING1,s__Buying)s__and__ms__instance(V__BUYING2,s__Buying)s__and__ms__subProcess(V__BUYING1,V__PURCHASE) s__and__ms__subProcess(V__BUYING2,V__PURCHASE) s__and__ms__agent(V__PURCHASE,V__AGENT) s__and__ms__instrument(V__PURCHASE,V__INST)) s__=>(s__agent(V__BUYING1,V__AGENT) s__and__ms__agent(V__BUYING2,V__AGENT) s__and__ms__instrument(V__BUYING1,V__INST) s__and__ms__instrument(V__BUYING2,V__INST)))) )	UXExperimentalTerms.kif 2146-2159	If a process is an instance of collection of transactions and another process is an instance of buying and a third process is an instance of buying and the other process is a subprocess of the process and the third process is a subprocess of the process and an agent is an agent of the process and an object is an instrument for the process, then the agent is an agent of the other process and the agent is an agent of the third process and the object is an instrument for the other process and the object is an instrument for the third process
( ! [V__PURCHASE,V__BUYING1,V__BUYING2] : ((s__instance(V__PURCHASE,s__TransactionCollection)s__and__ms__instance(V__BUYING1,s__Buying)s__and__ms__instance(V__BUYING2,s__Buying)s__and__ms__subProcess(V__BUYING1,V__PURCHASE) s__and__ms__subProcess(V__BUYING2,V__PURCHASE)) s__=>(s__WhenFn(V__BUYING1) s__equal__ms__WhenFn(V__BUYING2))) )	UXExperimentalTerms.kif 2135-2144	If a process is an instance of collection of transactions and another process is an instance of buying and a third process is an instance of buying and the other process is a subprocess of the process and the third process is a subprocess of the process, then the time of existence of the other process is equal to the time of existence of the third process
( ! [V__TRANSPORT,V__DRIVE,V__VEHICLE] : ((s__instance(V__TRANSPORT,s__Transportation)s__and__ms__subProcess(V__TRANSPORT,V__DRIVE) s__and__ms__instance(V__DRIVE,s__Driving)s__and__ms__instrument(V__TRANSPORT,V__VEHICLE) s__and__ms__instance(V__VEHICLE,s__TransportationDevice)) s__=>s__patient(V__DRIVE,V__VEHICLE)) )	Mid-level-ontology.kif 21469-21476	If a process is an instance of transportation and the process is a subprocess of another process and the other process is an instance of driving and an object is an instrument for the process and the object is an instance of transportation device, then the object is a patient of the other process
( ! [V__WN,V__W,V__R] : ((s__instance(V__WN,s__Process)s__and__ms__instance(V__W,s__PhysicalQuantity)) s__=>((s__instance(V__WN,s__NetworkCommunicationFn(s__BluetoothNetwork)) s__and__ms__instance(V__R,s__RadiatingElectromagnetic)s__and__ms__subProcess(V__R,V__WN) s__and__ms__carrierFrequency(V__R,V__W)) s__=>(s__greaterThan(V__W,s__GigaFn(s__MeasureFn(s__Hertz,2.4))) s__and__ms__lessThan(V__W,s__GigaFn(s__MeasureFn(s__Hertz,2.485)))))) )	ComputingBrands.kif 647-655	If a process is an instance of communication over Bluetooth network and a radiating is an instance of radiating electromagnetic and the radiating is a subprocess of the process and the frequency of the carrier of the radiating is a physical quantity, then the physical quantity is greater than 1 billion hertz 2.4(s)s and the physical quantity is less than 1 billion hertz 2.485(s)s
( ! [V__P,V__S1,V__S2] : ((s__instance(V__P,s__Process)s__and__ms__instance(V__S1,s__Process)s__and__ms__instance(V__S2,s__Process)) s__=>((s__subProcess(V__S1,V__P) s__and__ms__subProcess(V__S2,V__P)) s__=>s__relatedEvent(V__S1,V__S2))) )	Merge.kif 3885-3889	If a process is a subprocess of another process and a third process is a subprocess of the other process, then the third process is a related event of the process
( ! [V__SUBPROC,V__PROC] : ((s__instance(V__SUBPROC,s__Process)s__and__ms__instance(V__PROC,s__Process)) s__=>(s__subProcess(V__SUBPROC,V__PROC) s__=>s__temporalPart(s__WhenFn(V__SUBPROC) ,s__WhenFn(V__PROC)))) )	Merge.kif 10170-10172	If a process is a subprocess of another process, then the time of existence of the process is a part of the time of existence of the other process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

( ! [V__MUSIC] : ((s__instance(V__MUSIC,s__Object)s__and__ms__instance(V__MUSIC,s__Process)) s__=>(s__attribute(V__MUSIC,s__PolyphonicMusic)s__<=> (s__exists__m[V__PART1,V__PART2] : (s__instance(V__MUSIC,s__MakingMusic)s__and__ms__instance(V__PART1,s__MakingMusic)s__and__ms__instance(V__PART2,s__MakingMusic)s__and__ms__subProcess(V__PART1,V__MUSIC) s__and__ms__subProcess(V__PART2,V__MUSIC) s__and__m(s__not__m(V__PART1s__equal__mV__PART2)) s__and__ms__cooccur(V__PART1,V__MUSIC) s__and__ms__cooccur(V__PART2,V__MUSIC))))) )	Mid-level-ontology.kif 927-938	Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and the process is not equal to the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object
( ! [V__P] : (s__instance(V__P,s__Process)s__=>(s__manner(V__P,s__Harmless)s__<=> ((s__not__ms__instance(V__P,s__Damaging)) s__and__m(s__not__m(s__exists__m[V__P2] : (s__instance(V__P2,s__Damaging)s__and__ms__subProcess(V__P2,V__P)))) s__and__m(s__not__m(s__exists__m[V__P2] : (s__instance(V__P2,s__Damaging)s__and__ms__causes(V__P,V__P2))))))) )	Mid-level-ontology.kif 28435-28449	A process is performed in the manner Harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2
( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] : ((s__instance(V__Object,s__Physical)s__and__ms__instance(V__Seller,s__Object)s__and__ms__instance(V__Money,s__CurrencyMeasure)s__and__ms__instance(V__Purchase,s__Process)s__and__ms__instance(V__Buyer,s__Agent)) s__=>((s__agent(V__Purchase,V__Buyer) s__and__ms__origin(V__Purchase,V__Seller) s__and__ms__patient(V__Purchase,V__Object) s__and__ms__monetaryValue(V__Object,V__Money)) s__=>(s__exists__m[V__Payment] : (s__subProcess(V__Payment,V__Purchase) s__and__ms__instance(V__Payment,s__Payment)s__and__ms__transactionAmount(V__Payment,V__Money) s__and__ms__destination(V__Payment,V__Seller))))) )	FinancialOntology.kif 465-476	If an agent is an agent of a process and the process originates at an object and a physical is a patient of the process and value of the physical is a currency measure, then there exists a financial transaction such that the financial transaction is a subprocess of the process and the financial transaction is an instance of payment and the currency measure is a transaction amount of the financial transaction and the financial transaction ends up at the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 495-510	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity and another entity such that the other entity is an element of belongings of the cognitive agent and a third entity is an agent of the entity and the entity is an instance of the kind of physical or a fourth entity is an instance of a fifth entity and the entity is a subprocess of the fourth entity and the entity is located at the other entity has the modal force of possibility
( ! [V__MUSIC,V__S,V__MC,V__LC] : ((s__instance(V__MUSIC,s__Process)s__and__ms__instance(V__MUSIC,s__Proposition)s__and__ms__instance(V__S,s__Song)s__and__ms__instance(V__S,s__Process)s__and__ms__instance(V__MC,s__MusicalComposition)s__and__ms__instance(V__LC,s__LyricalContent)) s__=>(((V__Ss__equal__ms__SongFn(V__MC,V__LC)) s__and__ms__realization(V__S,V__MUSIC)) s__=>(s__exists__m[V__MM,V__MV] : (s__instance(V__MM,s__Process)s__and__ms__instance(V__MV,s__Process)s__and__m(s__patient(V__MM,V__MC) s__and__ms__patient(V__MV,V__LC) s__and__ms__subProcess(V__MM,V__MUSIC) s__and__ms__subProcess(V__MV,V__MUSIC)))))) )	Music.kif 869-878	If a song is equal to the song comprising a musical composition and a lyrical content and the song expresses the content of a process, then there exist another process and a third process such that the musical composition is a patient of the other process and the lyrical content is a patient of the third process and the other process is a subprocess of the process and the third process is a subprocess of the process
( ! [V__ACT,V__ANIMAL] : ((s__instance(V__ACT,s__Surgery)s__and__ms__patient(V__ACT,V__ANIMAL)) s__=>(s__exists__m[V__SUBACT] : (s__instance(V__SUBACT,s__Cutting)s__and__ms__instance(V__ANIMAL,s__Animal)s__and__ms__patient(V__SUBACT,V__ANIMAL) s__and__ms__subProcess(V__SUBACT,V__ACT)))) )	Merge.kif 12193-12202	If a process is an instance of surgery and an entity is a patient of the process, then there exists another process such that the other process is an instance of cutting and the entity is an instance of animal and the entity is a patient of the other process and the other process is a subprocess of the process
( ! [V__DURATION,V__AMBULATE] : (s__instance(V__DURATION,s__TimeInterval)s__=>((s__instance(V__AMBULATE,s__Ambulating)s__and__m(V__DURATIONs__equal__ms__WhenFn(V__AMBULATE))) s__=>(s__exists__m[V__STEP1,V__STEPN] : (s__instance(V__STEP1,s__Stepping)s__and__ms__instance(V__STEPN,s__Stepping)s__and__ms__subProcess(V__STEP1,V__AMBULATE) s__and__ms__subProcess(V__STEPN,V__AMBULATE) s__and__ms__starts(s__WhenFn(V__STEP1) ,V__DURATION) s__and__ms__finishes(s__WhenFn(V__STEPN) ,V__DURATION) s__and__m(s__not__m(V__STEP1s__equal__mV__STEPN)))))) )	Mid-level-ontology.kif 661-673	If a process is an instance of ambulating and a time interval is equal to the time of existence of the process, then there exist another process and a third process such that the other process is an instance of stepping and the third process is an instance of stepping and the other process is a subprocess of the process and the third process is a subprocess of the process and the time of existence of the other process starts the time interval and the time of existence of the third process finishes the time interval and the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19542-19554	If a process is an instance of ambush and an agent is an agent of the process, then there exists another process such that the other process is an instance of concealing and the other process is a subprocess of the process and the other process has purpose there exists an entity such that the entity is an instance of attack and the agent is an agent of the entity
( ! [V__AGENT,V__APR,V__HOSTILE] : (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__APR,s__AirPhotographicReconnaissance)s__and__ms__agent(V__APR,V__AGENT) s__and__ms__patient(V__APR,V__HOSTILE)) s__=>(s__exists__m[V__PHOTOGRAPHING] : (s__instance(V__PHOTOGRAPHING,s__Photographing)s__and__ms__subProcess(V__PHOTOGRAPHING,V__APR) s__and__ms__agent(V__PHOTOGRAPHING,V__AGENT) s__and__ms__patient(V__PHOTOGRAPHING,V__HOSTILE))))) )	MilitaryProcesses.kif 742-752	If a process is an instance of air photographic reconnaissance and an agent is an agent of the process and an entity is a patient of the process, then there exists another process such that the other process is an instance of photographing and the other process is a subprocess of the process and the agent is an agent of the other process and the entity is a patient of the other process
( ! [V__AGENT,V__AR] : (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__AR,s__AmphibiousReconnaissance)s__and__ms__agent(V__AR,V__AGENT)) s__=>(s__exists__m[V__LANDING] : (s__subProcess(V__LANDING,V__AR) s__and__ms__instance(V__LANDING,s__LandingWaterLand)s__and__ms__agent(V__LANDING,V__AGENT))))) )	MilitaryProcesses.kif 771-779	If a process is an instance of amphibious reconnaissance and an agent is an agent of the process, then there exists another process such that the other process is a subprocess of the process and the other process is an instance of landing water land and the agent is an agent of the other process
( ! [V__MEMBER,V__ARREST,V__AGENT] : (s__instance(V__MEMBER,s__Agent)s__=>((s__instance(V__ARREST,s__PlacingUnderArrest)s__and__ms__arrested(V__ARREST,V__AGENT) s__and__ms__instance(V__AGENT,s__GroupOfPeople)s__and__ms__member(V__MEMBER,V__AGENT)) s__=>(s__exists__m[V__ARREST1] : (s__instance(V__ARREST1,s__PlacingUnderArrest)s__and__ms__arrested(V__ARREST1,V__MEMBER) s__and__ms__subProcess(V__ARREST1,V__ARREST))))) )	Mid-level-ontology.kif 21405-21415	If a placing under arrest is an instance of placing under arrest and an agent is placed under arrest during the placing under arrest and the agent is an instance of group of people and another agent is a member of the agent, then there exists the placing under arrest1 such that the placing under arrest1 is an instance of placing under arrest and the other agent is placed under arrest during the placing under arrest1 and the placing under arrest1 is a subprocess of the placing under arrest
( ! [V__Account,V__Transaction] : ((s__instance(V__Account,s__SavingsAccount)s__and__ms__instance(V__Transaction,s__FinancialTransaction)s__and__ms__origin(V__Transaction,s__CurrencyFn(V__Account))) s__=>(s__exists__m[V__Authorization] : (s__instance(V__Authorization,s__AuthorizationOfTransaction)s__and__ms__subProcess(V__Authorization,V__Transaction)))) )	FinancialOntology.kif 978-986	If a financial account is an instance of savings account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists another process such that the other process is an instance of authorization of transaction and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19561-19580	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and the agent is not equal to the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 322-337	If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme, then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely
( ! [V__Card,V__Code,V__Check] : ((s__instance(V__Card,s__BankCard)s__and__ms__instance(V__Code,s__ContentBearingObject)) s__=>((s__instance(V__Check,s__VerifyingCardCode)s__and__ms__patient(V__Check,V__Code) s__and__ms__cardCode(V__Code,V__Card)) s__=>(s__exists__m[V__Decode] : (s__instance(V__Decode,s__Decoding)s__and__ms__subProcess(V__Decode,V__Check) s__and__ms__patient(V__Decode,V__Code))))) )	FinancialOntology.kif 3463-3472	If a process is an instance of verifying card code and a content bearing object is a patient of the process and a bank card is a card code of the content bearing object, then there exists another process such that the other process is an instance of decoding and the other process is a subprocess of the process and the content bearing object is a patient of the other process
( ! [V__P,V__D] : (s__instance(V__P,s__Process)s__=>((s__instance(V__D,s__Diet)s__and__ms__realization(V__P,V__D)) s__=>(s__exists__m[V__E] : (s__subProcess(V__E,V__P) s__and__ms__instance(V__E,s__Eating))))) )	Mid-level-ontology.kif 19169-19176	If a proposition is an instance of diet and a process expresses the content of the proposition, then there exists another process such that the other process is a subprocess of the process and the other process is an instance of eating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 607-619	If a process is an instance of precise destruction and an entity is a patient of the process, then the process has purpose there doesn't exist another entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and a third entity is a patient of the other entity and the entity is not equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11929-11938	If a process is an instance of discovering and an entity is a patient of the process and the entity is located at another entity holds during the time of existence of the process, then there exists another process such that the other process is an instance of learning and the other process is a subprocess of the process and the entity is located at the other entity is a patient of the other process
( ! [V__DRIVE,V__VEHICLE] : ((s__instance(V__DRIVE,s__Driving)s__and__ms__patient(V__DRIVE,V__VEHICLE) s__and__ms__instance(V__VEHICLE,s__RoadVehicle)) s__=>(s__exists__m[V__TRANSPORT] : (s__instance(V__TRANSPORT,s__TransportViaRoadVehicle)s__and__ms__subProcess(V__TRANSPORT,V__DRIVE)))) )	Mid-level-ontology.kif 21478-21486	If a process is an instance of driving and an entity is a patient of the process and the entity is an instance of road vehicle, then there exists another process such that the other process is an instance of transport via a road vehicle and the other process is a subprocess of the process
( ! [V__P,V__A,V__EV] : ((s__instance(V__P,s__Agent)s__and__ms__instance(V__A,s__Organization)) s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__agent(V__EV,V__A) s__and__ms__experiencer(V__EV,V__P)) s__=>(s__exists__m[V__C,V__CA] : (s__instance(V__CA,s__Organization)s__and__m(s__instance(V__C,s__Classifying)s__and__ms__subProcess(V__C,V__EV) s__and__ms__experiencer(V__C,V__P) s__and__m(s__subOrganization(V__CA,V__A) s__or__ms__member(V__CA,V__A) s__or__m(V__CAs__equal__mV__A)) s__and__ms__agent(V__C,V__CA)))))) )	MilitaryProcesses.kif 2576-2590	If a process is an instance of evacuation and an organization is an agent of the process and an agent experiences the process, then there exist another process and the other processA such that the other process is an instance of classifying and the other process is a subprocess of the process and the agent experiences the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
( ! [V__O,V__A,V__EV] : ((s__instance(V__O,s__Object)s__and__ms__instance(V__A,s__Organization)) s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__agent(V__EV,V__A) s__and__ms__origin(V__EV,V__O)) s__=>(s__exists__m[V__T,V__TA] : (s__instance(V__TA,s__Organization)s__and__m(s__instance(V__T,s__Translocation)s__and__ms__subProcess(V__T,V__EV) s__and__ms__origin(V__T,V__O) s__and__m(s__experiencer(V__T,V__TA) s__or__ms__agent(V__T,V__TA)) s__and__m(s__subOrganization(V__TA,V__A) s__or__ms__member(V__TA,V__A) s__or__m(V__TAs__equal__mV__A))))))) )	MilitaryProcesses.kif 2594-2610	If a process is an instance of evacuation and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization
( ! [V__P,V__A,V__EV] : ((s__instance(V__P,s__Agent)s__and__ms__instance(V__A,s__Organization)) s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__experiencer(V__EV,V__P) s__and__ms__agent(V__EV,V__A)) s__=>(s__exists__m[V__M,V__MA] : (s__instance(V__MA,s__Organization)s__and__m(s__instance(V__M,s__TherapeuticProcess)s__and__ms__subProcess(V__M,V__EV) s__and__m(s__subOrganization(V__MA,V__A) s__or__ms__member(V__MA,V__A) s__or__m(V__MAs__equal__mV__A)) s__and__ms__agent(V__M,V__MA) s__and__ms__experiencer(V__M,V__P)))))) )	MilitaryProcesses.kif 2558-2572	If a process is an instance of evacuation and an agent experiences the process and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of therapeutic process and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process and the agent experiences the other process
( ! [V__O,V__A,V__EV] : ((s__instance(V__O,s__Object)s__and__ms__instance(V__A,s__Organization)) s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__origin(V__EV,V__O) s__and__ms__agent(V__EV,V__A)) s__=>(s__exists__m[V__M,V__MA] : (s__instance(V__MA,s__Organization)s__and__m(s__instance(V__M,s__Maintaining)s__and__ms__eventLocated(V__M,V__O) s__and__ms__subProcess(V__M,V__EV) s__and__m(s__subOrganization(V__MA,V__A) s__or__ms__member(V__MA,V__A) s__or__m(V__MAs__equal__mV__A)) s__and__ms__agent(V__M,V__MA)))))) )	MilitaryProcesses.kif 2540-2554	If a process is an instance of evacuation and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of maintaining and the other process is located at 2 and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
( ! [V__OR,V__EV,V__D] : (s__instance(V__OR,s__Object)s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__origin(V__EV,V__OR) s__and__ms__destination(V__EV,V__D)) s__=>(s__exists__m[V__L] : (s__instance(V__L,s__Translocation)s__and__ms__subProcess(V__L,V__EV) s__and__ms__destination(V__L,V__D) s__and__ms__origin(V__L,V__OR))))) )	MilitaryProcesses.kif 2468-2478	If a process is an instance of evacuation and the process originates at an object and the process ends up at an entity, then there exists another process such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process ends up at the entity and the other process originates at the object
( ! [V__CONTROL,V__EXPERIMENT] : (s__instance(V__CONTROL,s__Process)s__=>((s__instance(V__EXPERIMENT,s__Experimenting)s__and__ms__experimentalControlProcess(V__EXPERIMENT,V__CONTROL)) s__=>s__subProcess(V__CONTROL,V__EXPERIMENT))) )	UXExperimentalTerms.kif 4024-4028	If an experimenting is an instance of experimenting and the control in experiment the experimenting is a process, then the process is a subprocess of the experimenting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

s__subProcess(s__CivilAffairsActivity,s__CivilAffairsOperation)

MilitaryProcesses.kif 2340-2340

Civil affairs activity is a subprocess of civil affairs operation

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: