consequent

(=>     (and         (instance ?SU SoftwareUpgrading)         (patient ?SU ?C)         (instance ?C Computer))     (exists (?P)         (and             (objectTransferred ?SU ?P)             (instance ?P ComputerProgram)             (holdsDuring                 (BeginFn                     (WhenFn ?SU))                 (softwareVersion ?P PreviousVersion))             (holdsDuring                 (EndFn                     (WhenFn ?SU))                 (softwareVersion ?P CurrentVersion)))))	ComputingBrands.kif 3821-3835	If a transfer is an instance of SoftwareUpgrading and an entity is a patient of the transfer and the entity is an instance of Computer, then there exists an object such that objectTransferred the transfer and the object and the object is an instance of computer program and softwareVersion the object and PreviousVersion holds during the beginning of the time of existence of the transfer and softwareVersion the object and CurrentVersion holds during the end of the time of existence of the transfer
(=>     (and         (instance ?U SoftwareUnInstallation)         (equal ?T2             (WhenFn ?U))         (dataProcessed ?U ?P)         (instance ?P ComputerProgram)         (located ?U ?C))     (exists (?I ?T1)         (and             (instance ?I SoftwareInstallation)             (equal ?T1                 (WhenFn ?I))             (dataProcessed ?I ?P)             (instance ?P ComputerProgram)             (located ?I ?C)             (earlier ?T1 ?T2))))	ComputingBrands.kif 3598-3612	If a ComputerProcess is an instance of SoftwareUnInstallation and equal a time interval and the time of existence of the ComputerProcess and dataProcessed the ComputerProcess and a DigitalData and the DigitalData is an instance of computer program and the ComputerProcess is located at an object, then there exist another ComputerProcess and another time interval such that the other ComputerProcess is an instance of SoftwareInstallation and equal the other time interval and the time of existence of the other ComputerProcess and dataProcessed the other ComputerProcess and the DigitalData and the DigitalData is an instance of computer program and the other ComputerProcess is located at the object and the other time interval happens earlier than the time interval
(=>     (instance ?API ApplicationProgrammerInterface)     (exists (?P)         (and             (instance ?P ComputerProgram)             (subProposition ?API ?P))))	ComputingBrands.kif 1929-1934	If a proposition is an instance of ApplicationProgrammerInterface, then there exists another proposition such that the other proposition is an instance of computer program and the proposition is a sub-proposition of the other proposition
(=>     (instance ?CD ComputerDesktopImage)     (hasPurpose ?CD         (and             (refers ?CD ?F)             (or                 (instance ?F DigitalData)                 (instance ?F ComputerProgram)))))	ComputingBrands.kif 3163-3170	If a physical is an instance of ComputerDesktopImage, then the physical has the purpose the physical includes a reference to an entity and the entity is an instance of DigitalData or the entity is an instance of computer program
(=>     (instance ?CP ComputerProgramming)     (exists (?C)         (and             (instance ?C ComputerProgram)             (result ?CP ?C))))	Merge.kif 16988-16993	If a process is an instance of ComputerProgramming, then there exists an entity such that the entity is an instance of computer program and the entity is a result of the process
(=>     (instance ?CP ComputerProtocol)     (hasPurpose ?CP         (exists (?P1 ?P2 ?C)             (and                 (instance ?P1 ComputerProgram)                 (instance ?P2 ComputerProgram)                 (instance ?C DataTransfer)                 (origin ?C ?P1)                 (destination ?C ?P2)                 (represents ?CP ?C)))))	ComputingBrands.kif 1736-1746	If a physical is an instance of ComputerProtocol, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of computer program and the other entity is an instance of computer program and the third entity is an instance of DataTransfer and the third entity originates at the entity and the third entity ends up at the other entity and the physical expresses the third entity
(=>     (instance ?FILE SoftwareFile)     (exists (?PROGRAM ?SUBPROGRAM)         (and             (instance ?PROGRAM ComputerProgram)             (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)             (containsInformation ?FILE ?SUBPROGRAM))))	Media.kif 1536-1542	If a ContentBearingPhysical is an instance of SoftwareFile, then there exist another ContentBearingPhysical and a proposition such that the other ContentBearingPhysical is an instance of computer program and the other ContentBearingPhysical subsumes the content of the proposition and the ContentBearingPhysical contains information the proposition
(=>     (instance ?G GUIDock)     (exists (?I ?P ?CP)         (and             (instance ?CP ComputerProgram)             (programRunning ?P ?CP)             (instance ?I Icon)             (represents ?I ?P)             (orientation ?I ?G Inside))))	ComputingBrands.kif 2544-2552	If an object is an instance of GUIDock, then there exist another object, a ComputerProcess and a computer program such that the computer program is an instance of computer program and programRunning the ComputerProcess and the computer program and the other object is an instance of icon and the other object expresses the ComputerProcess and the other object is Inside to the object
(=>     (instance ?MODULE_SERVER PageModuleServer)     (part ?MODULE_SERVER ComputerProgram))	UXExperimentalTerms.kif 2008-2010	If an entity_SERVER is an instance of PageModuleServer, then the entity_SERVER is a part of computer program
(=>     (instance ?PACK SoftwarePackage)     (exists (?PROGRAM)         (and             (instance ?PROGRAM ComputerProgram)             (part ?PROGRAM ?PACK))))	ComputerInput.kif 819-824	If an object is an instance of SoftwarePackage, then there exists another object such that the other object is an instance of computer program and the other object is a part of the object
(=>     (instance ?Process ComputerProcess)     (exists (?Computer ?Program)         (and             (instance ?Computer Computer)             (computerRunning ?Process ?Computer)             (instance ?Program ComputerProgram)             (programRunning ?Process ?Program))))	QoSontology.kif 158-165	If a ComputerProcess is an instance of ComputerProcess, then there exist a Computer and a computer program such that the Computer is an instance of Computer and computerRunning the ComputerProcess and the Computer and the computer program is an instance of computer program and programRunning the ComputerProcess and the computer program
(=>     (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 ?RM RMStartApplication)     (exists (?Application ?Process ?RMCopy)         (and             (instance ?Application ComputerProgram)             (programCopy ?RMCopy ?RM)             (programRunning ?Process                 (StartupFn ?Application))             (agent ?Process ?RMCopy))))	QoSontology.kif 708-715	If a computer program is an instance of RMStartApplication, then there exist another computer program, a ComputerProcess and the computer programCopy such that the other computer program is an instance of computer program and programCopy the computer programCopy and the computer program and programRunning the ComputerProcess and StartupFn the other computer program and the computer programCopy is an agent of the ComputerProcess
(=>     (instance ?State ProcessState)     (exists (?Program)         (and             (instance ?Program ComputerProgram)             (forall (?Process)                 (=>                     (programRunning ?Process ?Program)                     (represents ?State ?Process))))))	QoSontology.kif 670-678	If an entity is an instance of ProcessState, then there exists a computer program such that the computer program is an instance of computer program and for all a ComputerProcess if programRunning the ComputerProcess and the computer program, then the entity expresses the ComputerProcess

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