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
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1858-1859
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8453-8453
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. pictureList.kif 9150-9150
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9151-9151
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9152-9152
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9153-9153
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1857-1857 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 2111-2111 Computer report is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1875-1875 Database 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 1868-1868 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 1486-1486 WebPage is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. Media.kif 1497-1497 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 1884-1884 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 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
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 1861-1866

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3193-3203
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2698-2706
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2793-2800
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3143-3150
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4290-4297
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 4270-4281
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 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