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 software upgrade and an entity is a patient of the transfer and the entity is an instance of computer, then there exists an object such that the object transferred in the transfer is the object and the object is an instance of computer program and holds during the beginning of the time of existence of the transfer and 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 computer process is an instance of un installation and equal a time interval and the time of existence of the computer process and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process is located at an object, then there exist another computer process and another time interval such that the other computer process is an instance of installation and equal the other time interval and the time of existence of the other computer process and the digital data is processed by the other computer process and the digital data is an instance of computer program and the other computer process 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 Application Programmer Interface, 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 computer desktop image, then the physical has the purpose the physical includes a reference to an entity and the entity is an instance of digital data 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 computer programming, 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 computer protocol, 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 data transfer 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 content bearing physical is an instance of software file, then there exist another content bearing physical and a proposition such that the other content bearing physical is an instance of computer program and the other content bearing physical subsumes the content of the proposition and the content bearing physical 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 dock, then there exist another object, a computer process and a computer program such that the computer program is an instance of computer program and the computer program is a program running of the computer process and the other object is an instance of icon and the other object expresses the computer process 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 page module server, 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 software package, 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 computer process is an instance of computer process, then there exist a computer and a computer program such that the computer is an instance of computer and the computer process is running on the computer and the computer program is an instance of computer program and the computer program is a program running of the computer process
(=>     (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 computer process and the other entity is an instance of computer program and the entity is running on 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 RM start application, then there exist another computer program, a computer process and the computer programCopy such that the other computer program is an instance of computer program and the computer programCopy is a copy of the computer program and the startup of the other computer program is a program running of the computer process and the computer programCopy is an agent of the computer process
(=>     (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 process state, then there exists a computer program such that the computer program is an instance of computer program and for all a computer process if the computer program is a program running of the computer process, then the entity expresses the computer process

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