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

KB Term:  Term intersection
English Word: 

Sigma KEE - DigitalData
DigitalData
more pictures...

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


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

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


(subclass DigitalPost DigitalData) ComputerInput.kif 2841-2841
(subclass DigitalComment DigitalData) ComputerInput.kif 2875-2875
(subclass Hyperlink DigitalData) Facebook.kif 823-823
(subclass Hypertext DigitalData) Facebook.kif 829-829
(subclass WebPage DigitalData) Media.kif 1429-1429
(subclass WebSite DigitalData) Media.kif 1441-1441
(subclass ComputerFile DigitalData) QoSontology.kif 166-166
(subclass Packet DigitalData) QoSontology.kif 257-257
(subclass ComputerPath DigitalData) QoSontology.kif 1174-1174
(subclass ImageFile DigitalData) QoSontology.kif 1986-1986
(subclass Database DigitalData) QoSontology.kif 1993-1993
(subclass ComputerReport DigitalData) QoSontology.kif 2229-2229
(subclass HypertextLink DigitalData) UXExperimentalTerms.kif 3303-3303
(termFormat EnglishLanguage DigitalData "digital data") domainEnglishFormat.kif 19518-19518
(termFormat ChineseTraditionalLanguage DigitalData "數字數據") domainEnglishFormat.kif 19519-19519
(termFormat ChineseLanguage DigitalData "数字数据") domainEnglishFormat.kif 19520-19520

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


(domain dataProcessed 2 DigitalData) QoSontology.kif 2002-2002
(domain filename 2 DigitalData) QoSontology.kif 2331-2331

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 3403-3417
(=>
    (and
        (instance ?OBJ DigitalDataStorageDevice)
        (part ?PART ?OBJ)
        (instance ?PART DigitalData))
    (exists (?SCHEME ?LIST ?NUM)
        (and
            (codeMapping ?SCHEME ?PART ?NUM)
            (represents ?LIST ?SCHEME)
            (=>
                (inList ?NUM ?LIST)
                (instance ?NUM BinaryNumber)))))		 Media.kif 799-810
(=>
    (instance ?DATA DigitalData)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE DigitalDataStorageDevice)
            (located ?DATA ?DEVICE))))		 QoSontology.kif 1979-1984

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 2700-2708
(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (instance ?COM Computer)
            (origin ?ACT ?COM)
            (instance ?DATA DigitalData))))		 ComputerInput.kif 2795-2802
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F DigitalData)
                (instance ?F ComputerProgram)))))		 ComputingBrands.kif 3074-3081
(=>
    (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
(=>
    (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
(=>
    (instance ?DE DataEntry)
    (exists (?DD ?A)
        (and
            (instance ?DD DigitalData)
            (agent ?DD ?A)
            (attribute ?A ComputerUser)
            (result ?DE ?DD))))		 ComputingBrands.kif 4225-4232
(=>
    (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
(=>
    (instance ?X DeletingData)
    (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 107-123
(=>
    (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 130-146
(=>
    (instance ?P ThreeDPrinting)
    (exists (?X ?A)
        (and
            (instance ?X DigitalData)
            (represents ?X ?A)
            (instance ?A Artifact)
            (result ?P ?A))))		 QoSontology.kif 491-498
(=>
    (instance ?URI UniformResourceIdentifier)
    (exists (?Resource)
        (and
            (instance ?Resource DigitalData)
            (refers ?URI ?Resource))))		 QoSontology.kif 1805-1810
(=>
    (instance ?HL HypertextLink)
    (refers ?HL DigitalData))		 UXExperimentalTerms.kif 3311-3313


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners