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 1852-1853
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8451-8451
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9144-9144
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. QoSontology.kif 1851-1851 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 171-171 Computer file is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1078-1078 Computer path is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2105-2105 Computer report is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1869-1869 Database is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2859-2859 Digital comment is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2825-2825 Digital post is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3304-3304 Hyperlink is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1862-1862 Image file is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 262-262 Packet is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. Media.kif 1482-1482 Web page is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. Media.kif 1494-1494 Web site is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19518-19518
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19517-19517
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19516-19516

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1878-1878 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 2207-2207 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 3496-3510
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 1855-1860

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3217-3229
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2684-2692
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2779-2786
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3167-3174
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4319-4326
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3312-3314
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4299-4310
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 1681-1686
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 112-129
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 135-151


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