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 95-106	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
(=>     (instance ?Resource ComputerResource)     (exists (?System)         (and             (instance ?System ComputationalSystem)             (part ?Resource ?System))))	QoSontology.kif 1945-1950	If X is an instance of computer resource, then there exists Y such that Y is an instance of computational system and X is a part 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