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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1858-1859
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ HDDspin.JPG") pictureList.kif 8453-8453 externalImage DigitalData and "http://upload.wikimedia.org/wikipedia/commons/0/00/ HDDspin.JPG"
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg") pictureList.kif 9149-9149 externalImage DigitalData and "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg"
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ EDSAC_%2810%29.jpg") pictureList.kif 9150-9150 externalImage DigitalData and "http://upload.wikimedia.org/wikipedia/commons/3/3a/ EDSAC_%2810%29.jpg"
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Magnetic_core.jpg") pictureList.kif 9151-9151 externalImage DigitalData and "http://upload.wikimedia.org/wikipedia/commons/5/51/ Magnetic_core.jpg"
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ FortranCardPROJ039.agr.jpg") pictureList.kif 9152-9152 externalImage DigitalData and "http://upload.wikimedia.org/wikipedia/commons/5/58/ FortranCardPROJ039.agr.jpg"
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ Jacquard.loom.full.view.jpg") pictureList.kif 9153-9153 externalImage DigitalData and "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Jacquard.loom.full.view.jpg"
(subclass DigitalData SymbolicString) QoSontology.kif 1857-1857 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 2102-2102 subclass ComputerReport and DigitalData
(subclass Database DigitalData) QoSontology.kif 1875-1875 subclass Database and DigitalData
(subclass HypertextLink DigitalData) UXExperimentalTerms.kif 3507-3507 subclass HypertextLink and DigitalData
(subclass ImageFile DigitalData) QoSontology.kif 1868-1868 subclass ImageFile and DigitalData
(subclass Packet DigitalData) QoSontology.kif 260-260 subclass Packet and DigitalData
(subclass WebPage DigitalData) Media.kif 1486-1486 subclass WebPage and DigitalData
(subclass WebSite DigitalData) Media.kif 1497-1497 subclass WebSite and DigitalData
(termFormat ChineseLanguage DigitalData "数字数据") domainEnglishFormat.kif 19447-19447 termFormat ChineseLanguage, DigitalData and "数字数据"
(termFormat ChineseTraditionalLanguage DigitalData "數字數據") domainEnglishFormat.kif 19446-19446 termFormat ChineseTraditionalLanguage, DigitalData and "數字數據"
(termFormat EnglishLanguage DigitalData "digital data") domainEnglishFormat.kif 19445-19445 termFormat EnglishLanguage, DigitalData and "digital data"

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


(domain dataProcessed 2 DigitalData) QoSontology.kif 1884-1884 domain dataProcessed, 2 and DigitalData
(domain filename 2 DigitalData) QoSontology.kif 2204-2204 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 3308-3322
(=>
    (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 1861-1866

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


(=>
    (instance ?HL HypertextLink)
    (refers ?HL DigitalData))
UXExperimentalTerms.kif 3515-3517
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners