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 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 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. ComputerInput.kif 2887-2887 Digital comment is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2853-2853 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 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 3462-3476
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 3186-3196
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2712-2720
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2807-2814
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3136-3143
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4283-4290
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 4263-4274
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