consequent

(=>     (instance ?PACK SoftwarePackage)     (exists (?PROGRAM)         (and             (instance ?PROGRAM ComputerProgram)             (part ?PROGRAM ?PACK))))	ComputerInput.kif 819-824	If X is an instance of software package, then there exists Y such that Y is an instance of computer program and Y is a part of X
(=>     (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 X is an instance of computer protocol, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of computer program (3) Z is an instance of computer program (4) W is an instance of data transfer (5) W originates at Y (6) W ends up at Z (7) X expresses W
(=>     (instance ?API ApplicationProgrammerInterface)     (exists (?P)         (and             (instance ?P ComputerProgram)             (subProposition ?API ?P))))	ComputingBrands.kif 1929-1934	If X is an instance of Application Programmer Interface, then there exists Y such that Y is an instance of computer program and X is a sub-proposition of Y
(=>     (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 X is an instance of dock, then there exist Y, Z, W such that W is an instance of computer program, W is a program running of Z, Y is an instance of icon, Y expresses Z, and Y is inside the to X
(=>     (instance ?CD ComputerDesktopImage)     (hasPurpose ?CD         (and             (refers ?CD ?F)             (or                 (instance ?F DigitalData)                 (instance ?F ComputerProgram)))))	ComputingBrands.kif 3074-3081	If X is an instance of computer desktop image, then X has the purpose X includes a reference to Y and Y is an instance of digital data or Y is an instance of computer program
(=>     (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 3509-3523	If X is an instance of uninstall, equal Y and the time of existence of X, Z is processed by X, Z is an instance of computer program, and X is located at W, then All of the following hold: (1) there exist V (2) U such that V is an instance of install (3) equal U (4) the time of existence of V (5) Z is processed by V (6) Z is an instance of computer program (7) V is located at W (8) U happens earlier than Y
(=>     (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 3732-3746	If X is an instance of software upgrade, Y is a patient of X, and Y is an instance of computer, then there exists Z such that the object transferred in X is Z, Z is an instance of computer program, Z is the software version of Z holds during the beginning of the time of existence of X, and Z is the software version of Z holds during the end of the time of existence of X
(=>     (instance ?UPLOAD Uploading)     (exists (?FILE ?COMPUTER ?STORAGEDEVICE)         (and             (instance ?UPLOAD Transfer)             (or                 (instance ?FILE ComputerFile)                 (instance ?FILE ComputerProgram))             (instance ?COMPUTER Computer)             (instance ?STORAGEDEVICE DigitalDataStorageDevice)             (patient ?UPLOAD ?FILE)             (agent ?UPLOAD ?COMPUTER)             (origin ?UPLOAD ?COMPUTER)             (destination ?UPLOAD ?STORAGEDEVICE))))	Facebook.kif 487-500	If X is an instance of uploading, then All of the following hold: (1) there exist Y, Z (2) W such that X is an instance of transfer (3) Y is an instance of computer file or Y is an instance of computer program (4) Z is an instance of computer (5) W is an instance of digital data storage device (6) Y is a patient of X (7) Z is an agent of X (8) X originates at Z (9) X ends up at W
(=>     (instance ?DOWNLOAD Downloading)     (exists (?FILE ?COMPUTER ?STORAGEDEVICE)         (and             (instance ?DOWNLOAD Transfer)             (or                 (instance ?FILE ComputerFile)                 (instance ?FILE ComputerProgram))             (instance ?COMPUTER Computer)             (instance ?STORAGEDEVICE DigitalDataStorageDevice)             (patient ?DOWNLOAD ?FILE)             (agent ?DOWNLOAD ?COMPUTER)             (origin ?DOWNLOAD ?STORAGEDEVICE)             (destination ?DOWNLOAD ?COMPUTER))))	Facebook.kif 513-526	If X is an instance of downloading, then All of the following hold: (1) there exist Y, Z (2) W such that X is an instance of transfer (3) Y is an instance of computer file or Y is an instance of computer program (4) Z is an instance of computer (5) W is an instance of digital data storage device (6) Y is a patient of X (7) Z is an agent of X (8) X originates at W (9) X ends up at Z
(=>     (instance ?FILE SoftwareFile)     (exists (?PROGRAM ?SUBPROGRAM)         (and             (instance ?PROGRAM ComputerProgram)             (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)             (containsInformation ?FILE ?SUBPROGRAM))))	Media.kif 1536-1542	If X is an instance of software file, then there exist Y, Z such that Y is an instance of computer program, Y subsumes the content of Z, and X contains information Z
(=>     (instance ?CP ComputerProgramming)     (exists (?C)         (and             (instance ?C ComputerProgram)             (result ?CP ?C))))	Merge.kif 16988-16993	If X is an instance of computer programming, then there exists Y such that Y is an instance of computer program and Y is a result of X
(=>     (instance ?Process ComputerProcess)     (exists (?Computer ?Program)         (and             (instance ?Computer Computer)             (computerRunning ?Process ?Computer)             (instance ?Program ComputerProgram)             (programRunning ?Process ?Program))))	QoSontology.kif 158-165	If X is an instance of computer process, then there exist Y, Z such that Y is an instance of computer, X is running on Y, Z is an instance of computer program, and Z is a program running of X
(=>     (instance ?State ProcessState)     (exists (?Program)         (and             (instance ?Program ComputerProgram)             (forall (?Process)                 (=>                     (programRunning ?Process ?Program)                     (represents ?State ?Process))))))	QoSontology.kif 670-678	If X is an instance of process state, then there exists Y such that Y is an instance of computer program and Z Y is a program running of ZX expresses Z
(=>     (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 X is an instance of RM start application, then there exist Y, Z, W such that Y is an instance of computer program, W is a copy of X, the startup of Y is a program running of Z, and W is an agent of Z
(=>     (instance ?MODULE_SERVER PageModuleServer)     (part ?MODULE_SERVER ComputerProgram))	UXExperimentalTerms.kif 2008-2010	If ?MODULE_SERVER is an instance of page module server, then ?MODULE_SERVER is a part of 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 956-970	If X is an instance of robot, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of computer process (3) Z is an instance of computer program (4) Y is running on Z (5) X is a patient of Y (6) there exists W such that W is an instance of intentional process (7) X is an instrument for W holds during the time of existence of Y

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