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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DigitalData
DigitalData(digital data)
more pictures...
core_dump, precision_cookie, session_cookie

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


s__documentation(s__DigitalData,s__EnglishLanguage,'"This term refers to any data that is recorded, displayed, or stored as a string of BinaryNumbers."')

QoSontology.kif 1858-1859
s__externalImage(s__DigitalData,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ HDDspin.JPG"')

pictureList.kif 8452-8452
s__externalImage(s__DigitalData,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg"')

pictureList.kif 9148-9148
s__externalImage(s__DigitalData,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ EDSAC_%2810%29.jpg"')

pictureList.kif 9149-9149
s__externalImage(s__DigitalData,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Magnetic_core.jpg"')

pictureList.kif 9150-9150
s__externalImage(s__DigitalData,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ FortranCardPROJ039.agr.jpg"')

pictureList.kif 9151-9151
s__externalImage(s__DigitalData,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ Jacquard.loom.full.view.jpg"')

pictureList.kif 9152-9152
s__instance(s__DigitalData,s__SetOrClass)

s__subclass(s__DigitalData,s__SymbolicString)

s__instance(s__SymbolicString,s__SetOrClass)

QoSontology.kif 1857-1857 Digital data is a subclass of symbolic string

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


s__instance(s__ComputerFile,s__SetOrClass)

s__instance(s__DigitalData,s__SetOrClass)

s__subclass(s__ComputerFile,s__DigitalData)

QoSontology.kif 169-169 Computer file is a subclass of digital data
s__instance(s__DigitalData,s__SetOrClass)

s__subclass(s__ComputerPath,s__DigitalData)

s__instance(s__ComputerPath,s__SetOrClass)

QoSontology.kif 1083-1083 Computer path is a subclass of digital data
s__instance(s__DigitalData,s__SetOrClass)

s__subclass(s__ComputerReport,s__DigitalData)

s__instance(s__ComputerReport,s__SetOrClass)

QoSontology.kif 2111-2111 Computer report is a subclass of digital data
s__subclass(s__Database,s__DigitalData)

s__instance(s__DigitalData,s__SetOrClass)

s__instance(s__Database,s__SetOrClass)

QoSontology.kif 1875-1875 Database is a subclass of digital data
s__instance(s__DigitalData,s__SetOrClass)

s__instance(s__HypertextLink,s__SetOrClass)

s__subclass(s__HypertextLink,s__DigitalData)

UXExperimentalTerms.kif 3512-3512 Hyperlink is a subclass of digital data
s__instance(s__ImageFile,s__SetOrClass)

s__instance(s__DigitalData,s__SetOrClass)

s__subclass(s__ImageFile,s__DigitalData)

QoSontology.kif 1868-1868 Image file is a subclass of digital data
s__instance(s__DigitalData,s__SetOrClass)

s__subclass(s__Packet,s__DigitalData)

s__instance(s__Packet,s__SetOrClass)

QoSontology.kif 260-260 Packet is a subclass of digital data
s__instance(s__DigitalData,s__SetOrClass)

s__subclass(s__WebPage,s__DigitalData)

s__instance(s__WebPage,s__SetOrClass)

Media.kif 1486-1486 WebPage is a subclass of digital data
s__instance(s__DigitalData,s__SetOrClass)

s__subclass(s__WebSite,s__DigitalData)

s__instance(s__WebSite,s__SetOrClass)

Media.kif 1497-1497 WebSite is a subclass of digital data
s__termFormat(s__ChineseLanguage,s__DigitalData,'"数字数据"')

domainEnglishFormat.kif 19509-19509
s__termFormat(s__ChineseTraditionalLanguage,s__DigitalData,'"數字數據"')

domainEnglishFormat.kif 19508-19508
s__termFormat(s__EnglishLanguage,s__DigitalData,'"digital data"')

domainEnglishFormat.kif 19507-19507

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


s__domain(s__dataProcessed__m,n__2,s__DigitalData)

QoSontology.kif 1884-1884 The number 2 argument of data processed is an instance of digital data
s__domain(s__filename__m,n__2,s__DigitalData)

QoSontology.kif 2213-2213 The number 2 argument of filename is an instance of digital data

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3469-3483
( ! [V__OBJ,V__NUM,V__PART] :
   (((s__instance(V__OBJ,s__DigitalDataStorageDevice) &
         s__part(V__PART,V__OBJ)
       &
       s__instance(V__PART,s__DigitalData))
     =>
     (( ? [V__SCHEME, V__LIST] :
         ((s__instance(V__SCHEME,s__CodeMap) &
             s__instance(V__LIST,s__List) &
             (s__codeMapping(V__SCHEME,V__PART,V__NUM)
             &
             s__represents(V__LIST,V__SCHEME)
           &
           (s__inList(V__NUM,V__LIST)
           =>
           (s__instance(V__NUM,s__BinaryNumber)))))))))
)
)

Media.kif 801-812
( ! [V__DATA] :
   ((s__instance(V__DATA,s__DigitalData) =>
       (( ? [V__DEVICE] :
           ((s__instance(V__DEVICE,s__DigitalDataStorageDevice) &
               s__located(V__DATA,V__DEVICE))))))
   )
)

QoSontology.kif 1861-1866

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


( ! [V__OS,V__X,V__DT] :
   (((s__instance(V__OS,s__Object) &
         s__instance(V__X,s__TimeInterval) &
         s__instance(V__X,s__Object) &
         s__instance(V__DT,s__TimeInterval) &
         s__instance(V__DT,s__Transfer))
       =>
       ((s__attribute(V__X,s__Booting) =>
           (( ? [V__CD] :
               ((s__instance(V__CD,s__DigitalData) &
                   s__instance(V__OS,s__OperatingSystem) &
                   s__instance(V__DT,s__DataTransfer) &
                   s__during(V__DT,V__X)
                 &
                 s__destination(V__DT,V__X)
               &
               s__part(V__CD,V__OS)
             &
             s__objectTransferred(V__DT,V__CD))))))))
)
)

ComputingBrands.kif 3193-3203
( ! [V__ACT] :
   ((s__instance(V__ACT,s__DownloadingOverNetwork) =>
       (( ? [V__DATA, V__COM] :
           ((s__patient(V__ACT,V__DATA)
             &
             s__agent(V__ACT,V__COM)
           &
           s__destination(V__ACT,V__COM)
         &
         s__instance(V__COM,s__ComputerSystem) &
         s__instance(V__DATA,s__DigitalData))))))
)
)

ComputerInput.kif 2712-2720
( ! [V__ACT] :
   ((s__instance(V__ACT,s__UploadingOverNetwork) =>
       (( ? [V__DATA, V__COM] :
           ((s__instance(V__COM,s__Agent) &
               (s__patient(V__ACT,V__DATA)
               &
               s__agent(V__ACT,V__COM)
             &
             s__origin(V__ACT,V__COM)
           &
           s__instance(V__DATA,s__DigitalData)))))))
)
)

ComputerInput.kif 2807-2814
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3143-3150
( ! [V__DE,V__A] :
   ((s__instance(V__A,s__Agent) =>
       ((s__instance(V__DE,s__DataEntry) =>
           (( ? [V__DD] :
               ((s__instance(V__DD,s__DigitalData) &
                   s__agent(V__DD,V__A)
                 &
                 s__attribute(V__A,s__ComputerUser) &
                 s__result(V__DE,V__DD))))))))
)
)

ComputingBrands.kif 4290-4297
( ! [V__HL] :
   ((s__instance(V__HL,s__HypertextLink) =>
       (s__refers(V__HL,s__DigitalData)))
     )
   )

UXExperimentalTerms.kif 3520-3522
( ! [V__TF] :
   ((s__instance(V__TF,s__TwoFactorLoggingIn) =>
       (( ? [V__DE, V__DD] :
           ((s__subProcess(V__DE,V__TF)
             &
             s__instance(V__DE,s__DataEntry) &
             s__instance(V__DD,s__DigitalData) &
             s__objectTransferred(V__DE,V__DD)
           &
           ~(s__instance(V__DD,s__ComputerPassword))
           &
           ~(s__instance(V__DD,s__UserName)))))))
)
)

ComputingBrands.kif 4270-4281
( ! [V__Transfer] :
   ((s__instance(V__Transfer,s__DataTransfer) =>
       (( ? [V__Origin, V__Destination, V__System, V__Data] :
           ((s__origin(V__Transfer,V__Origin)
             &
             s__destination(V__Transfer,V__Destination)
           &
           s__instrument(V__Transfer,V__System)
         &
         s__patient(V__Transfer,V__Data)
       &
       s__instance(V__Data,s__DigitalData) &
       s__instance(V__System,s__HardwareSystem) &
       s__instance(V__Origin,s__HardwareSystem) &
       s__instance(V__Destination,s__ComputationalSystem))))))
)
)

QoSontology.kif 95-106
( ! [V__URI] :
   ((s__instance(V__URI,s__UniformResourceIdentifier) =>
       (( ? [V__Resource] :
           ((s__instance(V__Resource,s__DigitalData) &
               s__refers(V__URI,V__Resource))))))
   )
)

QoSontology.kif 1686-1691
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 112-128
No TPTP formula. May not be expressible in strict first order. 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 3.0 is open source software produced by Articulate Software and its partners