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 1852-1853
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ HDDspin.JPG") pictureList.kif 8451-8451
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg") pictureList.kif 9144-9144
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ EDSAC_%2810%29.jpg") pictureList.kif 9145-9145
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Magnetic_core.jpg") pictureList.kif 9146-9146
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ FortranCardPROJ039.agr.jpg") pictureList.kif 9147-9147
(externalImage DigitalData "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ Jacquard.loom.full.view.jpg") pictureList.kif 9148-9148
(subclass DigitalData SymbolicString) QoSontology.kif 1851-1851 数字数据 是 符号串 的 subclass

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


(subclass ComputerFile DigitalData) QoSontology.kif 171-171 电脑文件 是 数字数据 的 subclass
(subclass ComputerPath DigitalData) QoSontology.kif 1078-1078 计算机路径 是 数字数据 的 subclass
(subclass ComputerReport DigitalData) QoSontology.kif 2105-2105 电脑报道 是 数字数据 的 subclass
(subclass Database DigitalData) QoSontology.kif 1869-1869 数据库 是 数字数据 的 subclass
(subclass DigitalComment DigitalData) ComputerInput.kif 2859-2859 DigitalComment 是 数字数据 的 subclass
(subclass DigitalPost DigitalData) ComputerInput.kif 2825-2825 DigitalPost 是 数字数据 的 subclass
(subclass HypertextLink DigitalData) UXExperimentalTerms.kif 3304-3304 HypertextLink 是 数字数据 的 subclass
(subclass ImageFile DigitalData) QoSontology.kif 1862-1862 图像文件 是 数字数据 的 subclass
(subclass Packet DigitalData) QoSontology.kif 262-262 包 是 数字数据 的 subclass
(subclass WebPage DigitalData) Media.kif 1482-1482 WebPage 是 数字数据 的 subclass
(subclass WebSite DigitalData) Media.kif 1494-1494 WebSite 是 数字数据 的 subclass
(termFormat ChineseLanguage DigitalData "数字数据") domainEnglishFormat.kif 19518-19518
(termFormat ChineseTraditionalLanguage DigitalData "數字數據") domainEnglishFormat.kif 19517-19517
(termFormat EnglishLanguage DigitalData "digital data") domainEnglishFormat.kif 19516-19516

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


(domain dataProcessed 2 DigitalData) QoSontology.kif 1878-1878 数据已处理 的 2 数量 是 数字数据 的 instance
(domain filename 2 DigitalData) QoSontology.kif 2207-2207 filename 的 2 数量 是 数字数据 的 instance

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 3496-3510
(=>
    (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 801-812
(=>
    (instance ?DATA DigitalData)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE DigitalDataStorageDevice)
            (located ?DATA ?DEVICE))))		 QoSontology.kif 1855-1860

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


(=>
    (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 3217-3229
(=>
    (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
(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (instance ?COM Computer)
            (origin ?ACT ?COM)
            (instance ?DATA DigitalData))))		 ComputerInput.kif 2779-2786
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F DigitalData)
                (instance ?F ComputerProgram)))))		 ComputingBrands.kif 3167-3174
(=>
    (instance ?DE DataEntry)
    (exists (?DD ?A)
        (and
            (instance ?DD DigitalData)
            (agent ?DD ?A)
            (attribute ?A ComputerUser)
            (result ?DE ?DD))))		 ComputingBrands.kif 4319-4326
(=>
    (instance ?HL HypertextLink)
    (refers ?HL DigitalData))		 UXExperimentalTerms.kif 3312-3314
(=>
    (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 4299-4310
(=>
    (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 1681-1686
(=>
    (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
(=>
    (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 135-151


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