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 1852-1853
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 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 3510-3510 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 19508-19508
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19507-19507
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19506-19506

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 3494-3508
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-3227
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 4317-4324
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3518-3520
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4297-4308
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 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