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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DigitalData

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

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1857-1858
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8452-8452
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9145-9145
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9146-9146
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9147-9147
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9148-9148
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9149-9149
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1856-1856 Digital data is a subclass of symbolic string

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 169-169 Computer file is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1083-1083 Computer path is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2110-2110 Computer report is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1874-1874 Database is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2855-2855 Digital comment is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2821-2821 Digital post is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3512-3512 Hyperlink is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1867-1867 Image file is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 260-260 Packet is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. Media.kif 1482-1482 WebPage is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. Media.kif 1493-1493 WebSite is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19509-19509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19508-19508
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19507-19507

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1883-1883 The number 2 argument of data processed is an instance of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2212-2212 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 3461-3475
No TPTP formula. May not be expressible in strict first order. Media.kif 801-812
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1860-1865

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3185-3195
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2680-2688
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2775-2782
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3135-3142
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4282-4289
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3520-3522
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4262-4273
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 95-106
No TPTP formula. May not be expressible in strict first order. 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 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