consequent

(=>     (instance ?ACT UploadingOverNetwork)     (exists (?DATA ?COM)         (and             (patient ?ACT ?DATA)             (instance ?COM Computer)             (origin ?ACT ?COM)             (instance ?DATA DigitalData))))	ComputerInput.kif 2795-2802	If X is an instance of uploading, then there exist Y, Z such that Y is a patient of X, Z is an instance of computer, X originates at Z, and Y is an instance of digital data
(=>     (instance ?CS ComputerSystem)     (exists (?C1 ?C2 ?CN)         (and             (instance ?C1 Computer)             (instance ?C2 Computer)             (instance ?CN ComputerNetwork)             (member ?C1 ?CS)             (member ?C2 ?CS)             (member ?CN ?CS)             (not                 (equal ?C1 ?C2))             (connectedEngineeringComponents ?C1 ?CN)             (connectedEngineeringComponents ?C2 ?CN))))	ComputingBrands.kif 3231-3244	If X is an instance of computer system, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of computer (3) Z is an instance of computer (4) W is an instance of computer network (5) Y is a member of X (6) Z is a member of X (7) W is a member of X (8) equal Y (9) Z (10) Y is connected to W (11) Z is connected to W
(=>     (instance ?MD MountingADevice)     (exists (?C ?P)         (and             (instance ?C Computer)             (instance ?P ComputerIODevice)             (patient ?MD ?C)             (patient ?MD ?P)             (holdsDuring                 (WhenFn ?MD)                 (connectedEngineeringComponents ?C ?P))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?MD))                 (connectedPeripheral ?P ?C)))))	ComputingBrands.kif 3707-3718	If X is an instance of mounting, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of computer (3) Z is an instance of computer I/O device (4) Y is a patient of X (5) Z is a patient of X (6) Y is connected to Z holds during the time of existence of X (7) Z is a connected peripheral of Y holds during immediately after the time of existence of X
(=>     (instance ?D DHCPServer)     (exists (?PROG ?C)         (and             (instance ?C Computer)             (instance ?PROG DHCPProgram)             (computerRunning ?D ?C)             (programRunning ?D ?PROG))))	ComputingBrands.kif 3971-3978	If X is an instance of DHCP server, then there exist Y, Z such that Z is an instance of computer, Y is an instance of DHCP program, X is running on Z, and Y is a program running of X
(=>     (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 4253-4264	If X is logged_in to Y during Z, then All of the following hold: (1) the statement there exist W (2) V such that W is an instance of computer process (3) X is an agent of W (4) device account Y (5) V (6) V is an instance of computer (7) W is running on V (8) V is an instrument for W holds during Z has the modal force of possibility
(=>     (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 ?X BusinessCenter)     (modalAttribute         (exists (?COMP)             (and                 (instance ?COMP Computer)                 (located ?COMP ?X))) Likely))	Hotel.kif 1681-1687	If X is an instance of business center, then the statement there exists Y such that Y is an instance of computer and Y is located at X has the modal force of likely
(=>     (instance ?DEVICE ComputerScreen)     (hasPurpose ?DEVICE         (exists (?RL ?VIDEO ?SIGNAL ?COMPUTER)             (and                 (instance ?RL RadiatingVisibleLight)                 (instance ?VIDEO VideoRecording)                 (instance ?SIGNAL Signalling)                 (instance ?COMPUTER Computer)                 (instrument ?RL ?DEVICE)                 (represents ?RL ?VIDEO)                 (agent ?SIGNAL ?COMPUTER)                 (patient ?SIGNAL ?DEVICE)                 (represents ?SIGNAL ?VIDEO)))))	HouseholdAppliances.kif 525-538	If X is an instance of computer screen, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of radiating visible light (3) Z is an instance of video recording (4) W is an instance of signalling (5) V is an instance of computer (6) X is an instrument for Y (7) Y expresses Z (8) V is an agent of W (9) X is a patient of W (10) W expresses Z
(<=>     (instance ?Hardware ComputerHardware)     (exists (?Computer)         (and             (instance ?Computer Computer)             (component ?Hardware ?Computer))))	QoSontology.kif 58-63	X is an instance of computer hardware if, only if there exists Y such that Y is an instance of computer, and X is a component of Y
(=>     (instance ?Process ComputerProcess)     (exists (?Computer ?Program)         (and             (instance ?Computer Computer)             (computerRunning ?Process ?Computer)             (instance ?Program ComputerProgram)             (programRunning ?Process ?Program))))	QoSontology.kif 152-159	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
(=>     (attribute ?User ComputerUser)     (exists (?Computer)         (and             (instance ?Computer Computer)             (uses ?Computer ?User))))	QoSontology.kif 1847-1852	If computer user is an attribute of X, then there exists Y such that Y is an instance of computer and X uses Y
(=>     (instance ?PROCESS ITProcess)     (exists (?AGENT ?PATIENT)         (and             (agent ?PROCESS ?AGENT)             (patient ?PROCESS ?PATIENT)             (instance ?AGENT ITAgent)             (instance ?PATIENT Computer))))	engineering.kif 1736-1743	If X is an instance of IT process, then there exist Y, Z such that Y is an agent of X, Z is a patient of X, Y is an instance of IT agent, and Z is an instance of computer
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG ComputerAndElectronicProductManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (or                         (instance ?THING Computer)                         (and                             (instance ?THING Machine)                             (exists (?EV3 ?ELEC)                                 (and                                     (patient ?EV3 ?THING)                                     (resource ?EV3 ?ELEC)                                     (instance ?ELEC Electricity)))))                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 5120-5144	If X is an instance of organization and computer and electronic product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of computer or W is an instance of machine (7) there exist T (8) S such that W is a patient of T (9) S is a resource for T (10) S is an instance of electricity (11) W is a patient of Y (12) V is a member of X (13) U is an instance of selling (14) V is an agent of U (15) W is a patient of U

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

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners