| appearance as argument number 1 |
|
| (subclass HardwareSystem ComputerHardware) | QoSontology.kif 284-284 | Hardware system is a subclass of computer hardware |
| (subclass HardwareSystem ComputationalSystem) | QoSontology.kif 285-285 | Hardware system is a subclass of computational system |
| (documentation HardwareSystem EnglishLanguage "The class of hardware systems is the connection of three types of physical modules: instances of ComputerProcessor(s), ComputerMemory, and ComputerNetwork. ComputerProcessors execute instructions from ComputerPrograms, which usually include instructions to read and write data from memory, and send data via instances of ComputerNetworks.") | QoSontology.kif 286-291 | Hardware system is a subclass of computational system |
| (subclass HardwareSystem RealtimeSystem) | QoSontology.kif 1433-1433 | Hardware system is a subclass of realtime system |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain defaultNetwork 1 HardwareSystem) | QoSontology.kif 1107-1107 | The number 1 argument of default network is an instance of hardware system |
| antecedent |
|
|
| (=> (instance ?System HardwareSystem) (exists (?Processor ?Memory ?Network) (and (instance ?Processor CPU) (component ?System ?Processor) (instance ?Memory ComputerMemory) (component ?System ?Memory) (instance ?Network ComputerNetwork) (component ?System ?Network)))) |
QoSontology.kif 308-317 | If X is an instance of hardware system, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of CPU (3) X is a component of Y (4) Z is an instance of computer memory (5) X is a component of Z (6) W is an instance of computer network (7) X is a component of W |
| (=> (and (instance ?System HardwareSystem) (component ?Network ?System) (instance ?Event DataTransfer) (origin ?Event ?System)) (and (instance ?Network ComputerNetwork) (instrument ?Event ?Network))) |
QoSontology.kif 322-330 | If X is an instance of hardware system, Y is a component of X, Z is an instance of data transfer, and Z originates at X, then Y is an instance of computer network and Y is an instrument for Z |
| consequent |
|
|
| (=> (instance ?Transfer DataTransfer) (exists (?Origin ?Destination ?System ?Data) (and (origin ?Transfer ?Origin) (destination ?Transfer ?Destination) (instrument ?Transfer ?System) (patient ?Transfer ?Data) (instance ?Data DigitalData) (instance ?System HardwareSystem) (instance ?Origin HardwareSystem) (instance ?Destination ComputationalSystem)))) |
QoSontology.kif 90-101 | If X is an instance of data transfer, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X originates at Y (3) X ends up at Z (4) W is an instrument for X (5) V is a patient of X (6) V is an instance of digital data (7) W is an instance of hardware system (8) Y is an instance of hardware system (9) Z is an instance of computational system |
| (=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware)))) |
QoSontology.kif 295-303 | If X is an instance of software system, Y is an instance of computer process, and X is a program running of Y, then there exists Z such that Z is an instance of hardware system and Y is running on Z |
|
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