consequent

(=>     (and         (instance ?C ComputerBackingUp)         (dataProcessed ?C ?DD)         (instance ?DD DigitalData)         (agent ?C ?A))     (desires ?A         (exists (?T)             (and                 (earlier                     (WhenFn ?C) ?T)                 (holdsDuring ?T                     (exists (?PROC)                         (and                             (instance ?PROC ComputerProcess)                             (capability ?PROC dataProcessed ?DD))))))))	ComputingBrands.kif 3492-3506	If a ComputerProcess is an instance of ComputerBackingUp and dataProcessed the ComputerProcess and a DigitalData and the DigitalData is an instance of DigitalData and a cognitive agent is an agent of the ComputerProcess, then the cognitive agent desires there exists an entity such that the time of existence of the ComputerProcess happens earlier than the entity and there exists another entity such that the other entity is an instance of ComputerProcess and the DigitalData is capable of doing the other entity as a dataProcessed holds during the entity
(=>     (and         (instance ?LI LoggingIn)         (hasAccount ?U ?A)         (accountAtSite ?A ?S)         (equal ?T             (ImmediateFutureFn                 (WhenFn ?LI)))         (agent ?LI ?U))     (modalAttribute         (holdsDuring ?T             (exists (?P)                 (and                     (instance ?P ComputerProcess)                     (agent ?P ?U)                     (patient ?P ?S)))) Possibility))	ComputingBrands.kif 3967-3981	If a process is an instance of LoggingIn and hasAccount an agent and an UserAccount and accountAtSite the UserAccount and a WebSite and equal a time interval and immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of ComputerProcess and the agent is an agent of the entity and the WebSite is a patient of the entity holds during the time interval has the modal force of Possibility
(=>     (and         (instance ?LI LoggingIn)         (hasAccount ?U ?A)         (deviceAccount ?A ?C)         (equal ?T             (ImmediateFutureFn                 (WhenFn ?LI)))         (agent ?LI ?U))     (modalAttribute         (holdsDuring ?T             (exists (?P)                 (and                     (instance ?P ComputerProcess)                     (agent ?P ?U)                     (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 3983-3997	If a process is an instance of LoggingIn and hasAccount an agent and an UserAccount and deviceAccount the UserAccount and a Computer and equal a time interval and immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of ComputerProcess and the agent is an agent of the entity and the Computer is an instrument for the entity holds during the time interval has the modal force of Possibility
(=>     (and         (shutdownOf ?Shutdown ?Application)         (instance ?Process1 ComputerProcess)         (programRunning ?Process1 ?Shutdown)         (equal             (WhenFn ?Process1) ?Time1))     (exists (?Process2 ?Time2)         (and             (instance ?Process2 ComputerProcess)             (programRunning ?Process2 ?Application)             (equal                 (WhenFn ?Process2) ?Time2)             (meetsTemporally ?Time2 ?Time1))))	QoSontology.kif 428-439	If shutdownOf a ShutdownBlock and a computer program and a ComputerProcess is an instance of ComputerProcess and programRunning the ComputerProcess and the ShutdownBlock and equal the time of existence of the ComputerProcess and a time interval, then there exist another ComputerProcess and another time interval such that the other ComputerProcess is an instance of ComputerProcess and programRunning the other ComputerProcess and the computer program and equal the time of existence of the other ComputerProcess and the other time interval and the other time interval meets the time interval
(=>     (and         (startupOf ?Startup ?Application)         (instance ?Process1 ComputerProcess)         (programRunning ?Process1 ?Startup)         (equal             (WhenFn ?Process1) ?Time1))     (exists (?Process2 ?Time2)         (and             (instance ?Process2 ComputerProcess)             (programRunning ?Process2 ?Application)             (equal                 (WhenFn ?Process2) ?Time2)             (meetsTemporally ?Time1 ?Time2))))	QoSontology.kif 388-399	If startupOf a StartupBlock and a computer program and a ComputerProcess is an instance of ComputerProcess and programRunning the ComputerProcess and the StartupBlock and equal the time of existence of the ComputerProcess and a time interval, then there exist another ComputerProcess and another time interval such that the other ComputerProcess is an instance of ComputerProcess and programRunning the other ComputerProcess and the computer program and equal the time of existence of the other ComputerProcess and the other time interval and the time interval meets the other time interval
(=>     (instance ?A App)     (hasPurpose ?A         (exists (?A ?P ?C)             (and                 (instance ?C MobileCellPhone)                 (instance ?P ComputerProcess)                 (programRunning ?P ?A)                 (computerRunning ?P ?C)))))	ComputingBrands.kif 1960-1968	If a physical is an instance of App, then the physical has the purpose there exist the physical, an entity and another entity such that the other entity is an instance of MobileCellPhone and the entity is an instance of ComputerProcess and programRunning the entity and the physical and computerRunning the entity and the other entity
(=>     (instance ?EP EmailProgram)     (hasPurpose ?EP         (exists (?P ?E)             (and                 (instance ?P ComputerProcess)                 (instance ?E Emailing)                 (instrument ?E ?P)                 (programRunning ?P ?EP)))))	ComputingBrands.kif 3120-3128	If a physical is an instance of EmailProgram, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ComputerProcess and the other entity is an instance of emailing and the entity is an instrument for the other entity and programRunning the entity and the physical
(=>     (instance ?ICM IgnitionControlModule)     (hasPurpose ?ICM         (exists (?S ?A ?CP)             (and                 (instance ?A Automobile)                 (instance ?S Spark)                 (instance ?CP ComputerProcess)                 (part ?ICM ?A)                 (eventLocated ?CP ?A)                 (eventLocated ?S ?A)                 (causes ?CP ?S)))))	Cars.kif 3243-3254	If a physical is an instance of IgnitionControlModule, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of Automobile and the entity is an instance of Spark and the third entity is an instance of ComputerProcess and the physical is a part of the other entity and event located the third entity and the other entity and event located the entity and the other entity and the third entity causes the entity
(=>     (instance ?R Robot)     (hasPurpose ?R         (exists (?PROC ?COMP)             (and                 (instance ?PROC ComputerProcess)                 (instance ?COMP ComputerProgram)                 (computerRunning ?PROC ?COMP)                 (patient ?PROC ?R)                 (holdsDuring                     (WhenFn ?PROC)                     (exists (?INT)                         (and                             (instance ?INT IntentionalProcess)                             (instrument ?INT ?R))))))))	engineering.kif 999-1013	If a physical is an instance of Robot, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ComputerProcess and the other entity is an instance of computer program and computerRunning the entity and the other entity and the physical is a patient of the entity and there exists a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity holds during the time of existence of the entity
(=>     (instance ?X DeletingData)     (and         (exists (?DATA)             (and                 (instance ?DATA DigitalData)                 (patient ?X ?DATA)))         (not             (exists (?PROC ?CLASS)                 (and                     (instance ?PROC ComputerProcess)                     (instance ?PROC ?CLASS)                     (not                         (instance ?PROC RestoringData))                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?X))                         (capability ?CLASS patient ?DATA)))))))	QoSontology.kif 112-129	If a process is an instance of DeletingData, then there exists an entity such that the entity is an instance of DigitalData and the entity is a patient of the process and there don't exist another entity and a class such that the other entity is an instance of ComputerProcess and the other entity is an instance of the class and the other entity is not an instance of RestoringData and the entity is capable of doing the class as a patient holds during immediately after the time of existence of the process
(=>     (instance ?X RestoringData)     (exists (?DEL ?PROC ?DATA ?CLASS)         (and             (instance ?DEL DeletingData)             (instance ?DATA DigitalData)             (patient ?X ?DATA)             (patient ?DEL ?DATA)             (earlier                 (WhenFn ?DEL)                 (WhenFn ?X))             (instance ?PROC ComputerProcess)             (instance ?PROC ?CLASS)             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?X))                 (capability ?CLASS patient ?DATA)))))	QoSontology.kif 136-152	If a process is an instance of RestoringData, then there exist another process, an entity,, , another entity and a class such that the other process is an instance of DeletingData and the other entity is an instance of DigitalData and the other entity is a patient of the process and the other entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process and the entity is an instance of ComputerProcess and the entity is an instance of the class and the other entity is capable of doing the class as a patient holds during immediately after the time of existence of the process
(=>     (loggedInDuring ?A ?UA ?T)     (modalAttribute         (holdsDuring ?T             (exists (?P ?C)                 (and                     (instance ?P ComputerProcess)                     (agent ?P ?A)                     (deviceAccount ?UA ?C)                     (instance ?C Computer)                     (computerRunning ?P ?C)                     (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 4342-4353	If loggedInDuring an agent, an UserAccount and a time interval, then the statement there exist an entity and another entity such that the entity is an instance of ComputerProcess and the agent is an agent of the entity and deviceAccount the UserAccount and the other entity and the other entity is an instance of Computer and computerRunning the entity and the other entity and the other entity is an instrument for the entity holds during the time interval has the modal force of Possibility

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 3.0 is open source software produced by Articulate Software and its partners