Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DigitalData

 Sigma KEE - DigitalData
DigitalData
more pictures...

appearance as argument number 1
-------------------------


(documentation DigitalData EnglishLanguage "This term refers to any data that is recorded, displayed, or stored as a string of BinaryNumbers.") QoSontology.kif 1857-1858
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ HDDspin.JPG") pictureList.kif 8452-8452
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg") pictureList.kif 9145-9145
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ EDSAC_%2810%29.jpg") pictureList.kif 9146-9146
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Magnetic_core.jpg") pictureList.kif 9147-9147
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ FortranCardPROJ039.agr.jpg") pictureList.kif 9148-9148
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ Jacquard.loom.full.view.jpg") pictureList.kif 9149-9149
(subclass DigitalData SymbolicString) QoSontology.kif 1856-1856 subclass DigitalData and SymbolicString

appearance as argument number 2
-------------------------


(subclass ComputerFile DigitalData) QoSontology.kif 169-169 subclass ComputerFile and DigitalData
(subclass ComputerPath DigitalData) QoSontology.kif 1083-1083 subclass ComputerPath and DigitalData
(subclass ComputerReport DigitalData) QoSontology.kif 2110-2110 subclass ComputerReport and DigitalData
(subclass Database DigitalData) QoSontology.kif 1874-1874 subclass Database and DigitalData
(subclass DigitalComment DigitalData) ComputerInput.kif 2855-2855 subclass DigitalComment and DigitalData
(subclass DigitalPost DigitalData) ComputerInput.kif 2821-2821 subclass DigitalPost and DigitalData
(subclass HypertextLink DigitalData) UXExperimentalTerms.kif 3512-3512 subclass HypertextLink and DigitalData
(subclass ImageFile DigitalData) QoSontology.kif 1867-1867 subclass ImageFile and DigitalData
(subclass Packet DigitalData) QoSontology.kif 260-260 subclass Packet and DigitalData
(subclass WebPage DigitalData) Media.kif 1482-1482 subclass WebPage and DigitalData
(subclass WebSite DigitalData) Media.kif 1493-1493 subclass WebSite and DigitalData
(termFormat ChineseLanguage DigitalData "数字数据") domainEnglishFormat.kif 19509-19509
(termFormat ChineseTraditionalLanguage DigitalData "數字數據") domainEnglishFormat.kif 19508-19508
(termFormat EnglishLanguage DigitalData "digital data") domainEnglishFormat.kif 19507-19507

appearance as argument number 3
-------------------------


(domain dataProcessed 2 DigitalData) QoSontology.kif 1883-1883 domain dataProcessed, 2 and DigitalData
(domain filename 2 DigitalData) QoSontology.kif 2212-2212 domain filename, 2 and DigitalData

antecedent
-------------------------


(=>
    (and
        (instance ?C ComputerBackingUp)
        (dataProcessed ?C ?DD)
        (instance ?DD DigitalData)
        (agent ?C ?A))
    (desires ?A
        (exists (?T)
            (and
                (earlier
                    (WhenFn ?C) ?T)
                (holdsDuring
                    (?T)
                    (exists (?PROC)
                        (and
                            (instance ?PROC ComputerProcess)
                            (capability ?PROC dataProcessed ?DD))))))))		 ComputingBrands.kif 3461-3475
(=>
    (and
        (instance ?OBJ DigitalDataStorageDevice)
        (part ?PART ?OBJ)
        (instance ?PART DigitalData))
    (exists (?SCHEME ?LIST)
        (and
            (codeMapping ?SCHEME ?PART ?NUM)
            (represents ?LIST ?SCHEME)
            (=>
                (inList ?NUM ?LIST)
                (instance ?NUM BinaryNumber)))))		 Media.kif 801-812
(=>
    (instance ?DATA DigitalData)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE DigitalDataStorageDevice)
            (located ?DATA ?DEVICE))))		 QoSontology.kif 1860-1865

consequent
-------------------------


(=>
    (attribute ?X Booting)
    (exists (?CD)
        (and
            (instance ?CD DigitalData)
            (instance ?OS OperatingSystem)
            (instance ?DT DataTransfer)
            (during ?DT ?X)
            (destination ?DT ?X)
            (part ?CD ?OS)
            (objectTransferred ?DT ?CD))))		 ComputingBrands.kif 3185-3195
(=>
    (instance ?ACT DownloadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (agent ?ACT ?COM)
            (destination ?ACT ?COM)
            (instance ?COM ComputerSystem)
            (instance ?DATA DigitalData))))		 ComputerInput.kif 2680-2688
(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (instance ?COM Computer)
            (origin ?ACT ?COM)
            (instance ?DATA DigitalData))))		 ComputerInput.kif 2775-2782
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F DigitalData)
                (instance ?F ComputerProgram)))))		 ComputingBrands.kif 3135-3142
(=>
    (instance ?DE DataEntry)
    (exists (?DD)
        (and
            (instance ?DD DigitalData)
            (agent ?DD ?A)
            (attribute ?A ComputerUser)
            (result ?DE ?DD))))		 ComputingBrands.kif 4282-4289
(=>
    (instance ?HL HypertextLink)
    (refers ?HL DigitalData))		 UXExperimentalTerms.kif 3520-3522
(=>
    (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 4262-4273
(=>
    (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
(=>
    (instance ?URI UniformResourceIdentifier)
    (exists (?Resource)
        (and
            (instance ?Resource DigitalData)
            (refers ?URI ?Resource))))		 QoSontology.kif 1686-1691
(=>
    (instance ?X DeletingData)
    (and
        (exists (?DATA)
            (and
                (instance ?DATA DigitalData)
                (patient ?X ?DATA)))
        (not
            (exists (?PROC)
                (and
                    (instance ?PROC ComputerProcess)
                    (not
                        (instance ?PROC RestoringData))
                    (holdsDuring
                        (ImmediateFutureFn
                            (WhenFn ?X))
                        (capability ?PROC patient ?DATA)))))))		 QoSontology.kif 112-128
(=>
    (instance ?X RestoringData)
    (exists (?DEL ?PROC ?DATA)
        (and
            (instance ?DEL DeletingData)
            (instance ?DATA DigitalData)
            (patient ?X ?DATA)
            (patient ?DEL ?DATA)
            (earlier
                (WhenFn ?DEL)
                (WhenFn ?X))
            (instance ?PROC ComputerProcess)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?X))
                (capability ?PROC patient ?DATA)))))		 QoSontology.kif 134-149


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 is open source software produced by Articulate Software and its partners