consequent

(=>     (instance ?ACT DownloadingOverNetwork)     (exists (?DATA ?COM)         (and             (patient ?ACT ?DATA)             (agent ?ACT ?COM)             (destination ?ACT ?COM)             (instance ?COM ComputerSystem)             (instance ?DATA DigitalData))))	ComputerInput.kif 2684-2692	If X is an instance of downloading, then there exist Y, Z such that Y is a patient of X, Z is an agent of X, X ends up at Z, Z is an instance of computer system, and Y is an instance of digital data
(=>     (instance ?ACT UploadingOverNetwork)     (exists (?DATA ?COM)         (and             (patient ?ACT ?DATA)             (instance ?COM Computer)             (origin ?ACT ?COM)             (instance ?DATA DigitalData))))	ComputerInput.kif 2779-2786	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 ?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         (property ?X Booting)         (instance ?X Computer))     (exists (?CD ?OS ?DT)         (and             (instance ?CD DigitalData)             (instance ?OS OperatingSystem)             (instance ?DT DataTransfer)             (during                 (WhenFn ?DT)                 (WhenFn ?X))             (destination ?DT ?X)             (part ?CD ?OS)             (objectTransferred ?DT ?CD))))	ComputingBrands.kif 3124-3136	If X the attribute booting up and X is an instance of computer, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of digital data (3) Z is an instance of operating system (4) W is an instance of data transfer (5) the time of existence of W takes place during the time of existence of X (6) W ends up at X (7) Y is a part of Z (8) the object transferred in W is Y
(=>     (instance ?TF TwoFactorLoggingIn)     (exists (?DE ?DD)         (and             (subProcess ?DE ?TF)             (instance ?DE DataEntry)             (instance ?DD DigitalData)             (objectTransferred ?DE ?DD)             (not                 (instance ?DD ComputerPassword))             (not                 (instance ?DD UserName)))))	ComputingBrands.kif 4205-4216	If X is an instance of two_factor login, then All of the following hold: (1) there exist Y (2) Z such that Y is a subprocess of X (3) Y is an instance of data entry (4) Z is an instance of digital data (5) the object transferred in Y is Z (6) Z is not an instance of computer password (7) Z is not an instance of user name
(=>     (instance ?DE DataEntry)     (exists (?DD ?A)         (and             (instance ?DD DigitalData)             (agent ?DD ?A)             (attribute ?A ComputerUser)             (result ?DE ?DD))))	ComputingBrands.kif 4225-4232	If X is an instance of data entry, then there exist Y, Z such that Y is an instance of digital data, Z is an agent of Y, computer user is an attribute of Z, and Y is a result of X
(=>     (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 ?X DeletingData)     (and         (exists (?DATA)             (and                 (instance ?DATA DigitalData)                 (patient ?X ?DATA)))         (not             (exists (?PROC ?CLASS)                 (and                     (instance ?PROC ComputerProcess)                     (instance ?PROC ?CLASS)                     (not                         (instance ?PROC RestoringData))                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?X))                         (capability ?CLASS patient ?DATA)))))))	QoSontology.kif 112-129	If X is an instance of deleting data, then there exists Y such that Y is an instance of digital data and Y is a patient of X and there don't exist Z, W such that Z is an instance of computer process, Z is an instance of W, Z is not an instance of restore, and Y is capable of doing W as a patient holds during immediately after the time of existence of X
(=>     (instance ?X RestoringData)     (exists (?DEL ?PROC ?DATA ?CLASS)         (and             (instance ?DEL DeletingData)             (instance ?DATA DigitalData)             (patient ?X ?DATA)             (patient ?DEL ?DATA)             (earlier                 (WhenFn ?DEL)                 (WhenFn ?X))             (instance ?PROC ComputerProcess)             (instance ?PROC ?CLASS)             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?X))                 (capability ?CLASS patient ?DATA)))))	QoSontology.kif 136-152	If X is an instance of restore, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of deleting data (3) W is an instance of digital data (4) W is a patient of X (5) W is a patient of Y (6) the time of existence of Y happens earlier than the time of existence of X (7) Z is an instance of computer process (8) Z is an instance of V (9) W is capable of doing V as a patient holds during immediately after the time of existence of X
(=>     (instance ?P ThreeDPrinting)     (exists (?X ?A)         (and             (instance ?X DigitalData)             (represents ?X ?A)             (instance ?A Artifact)             (result ?P ?A))))	QoSontology.kif 505-512	If X is an instance of 3D printing, then there exist Y, Z such that Y is an instance of digital data, Y expresses Z, Z is an instance of artifact, and Z is a result of X
(=>     (instance ?URI UniformResourceIdentifier)     (exists (?Resource)         (and             (instance ?Resource DigitalData)             (refers ?URI ?Resource))))	QoSontology.kif 1812-1817	If X is an instance of uniform resource identifier, then there exists Y such that Y is an instance of digital data and X includes a reference to Y
(=>     (instance ?HL HypertextLink)     (refers ?HL DigitalData))	UXExperimentalTerms.kif 3311-3313	If X is an instance of hyperlink, then X includes a reference to digital data

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