Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   HardwareSystem
|
|
|
| appearance as argument number 1 |
|
|
| (subclass HardwareSystem ComputerHardware) | QoSontology.kif 281-281 | Hardware system is a subclass of computer hardware |
| (subclass HardwareSystem ComputationalSystem) | QoSontology.kif 282-282 | 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 283-288 | Hardware system is a subclass of computational system |
| (subclass HardwareSystem RealtimeSystem) | QoSontology.kif 1431-1431 | Hardware system is a subclass of realtime system |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain defaultNetwork 1 HardwareSystem) | QoSontology.kif 1099-1099 | 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 305-314 | 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 319-327 | 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 292-300 | 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 |
|