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 1983-1984
(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
(subclass DigitalData SymbolicString) QoSontology.kif 1982-1982 DigitalData est une sous-classe de cha�ne sympbolique

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


(subclass ComputerFile DigitalData) QoSontology.kif 172-172 ComputerFile est une sous-classe de DigitalData
(subclass ComputerPath DigitalData) QoSontology.kif 1187-1187 ComputerPath est une sous-classe de DigitalData
(subclass ComputerReport DigitalData) QoSontology.kif 2237-2237 ComputerReport est une sous-classe de DigitalData
(subclass Database DigitalData) QoSontology.kif 2000-2000 Database est une sous-classe de DigitalData
(subclass DigitalComment DigitalData) ComputerInput.kif 2859-2859 DigitalComment est une sous-classe de DigitalData
(subclass DigitalPost DigitalData) ComputerInput.kif 2825-2825 DigitalPost est une sous-classe de DigitalData
(subclass HypertextLink DigitalData) UXExperimentalTerms.kif 3304-3304 HypertextLink est une sous-classe de DigitalData
(subclass ImageFile DigitalData) QoSontology.kif 1993-1993 ImageFile est une sous-classe de DigitalData
(subclass Packet DigitalData) QoSontology.kif 263-263 Packet est une sous-classe de DigitalData
(subclass WebPage DigitalData) Media.kif 1484-1484 WebPage est une sous-classe de DigitalData
(subclass WebSite DigitalData) Media.kif 1496-1496 WebSite est une sous-classe de DigitalData
(termFormat ChineseLanguage DigitalData "数字数据") domainEnglishFormat.kif 19527-19527 WebSite est une sous-classe de DigitalData
(termFormat ChineseTraditionalLanguage DigitalData "數字數據") domainEnglishFormat.kif 19526-19526 WebSite est une sous-classe de DigitalData
(termFormat EnglishLanguage DigitalData "digital data") domainEnglishFormat.kif 19525-19525 WebSite est une sous-classe de DigitalData

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


(domain dataProcessed 2 DigitalData) QoSontology.kif 2009-2009 Le nombre 2 argument de dataProcessed est une instance de DigitalData
(domain filename 2 DigitalData) QoSontology.kif 2339-2339 Le nombre 2 argument de filename est une instance de 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 3492-3506
(=>
    (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 1986-1991

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 3213-3225
(=>
    (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 3163-3170
(=>
    (instance ?DE DataEntry)
    (exists (?DD ?A)
        (and
            (instance ?DD DigitalData)
            (agent ?DD ?A)
            (attribute ?A ComputerUser)
            (result ?DE ?DD))))		 ComputingBrands.kif 4314-4321
(=>
    (instance ?HL HypertextLink)
    (refers ?HL DigitalData))		 UXExperimentalTerms.kif 3312-3314
(=>
    (instance ?P ThreeDPrinting)
    (exists (?X ?A)
        (and
            (instance ?X DigitalData)
            (represents ?X ?A)
            (instance ?A Artifact)
            (result ?P ?A))))		 QoSontology.kif 505-512
(=>
    (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 4294-4305
(=>
    (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 1812-1817
(=>
    (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 136-152


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