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 1983-1984
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8450-8450
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9143-9143
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. QoSontology.kif 1982-1982 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 172-172 Computer file is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1187-1187 Computer path is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2237-2237 Computer report is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2000-2000 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 1993-1993 Image file is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 263-263 Packet is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. Media.kif 1484-1484 Web page is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. Media.kif 1496-1496 Web site is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19527-19527 Web site is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19526-19526 Web site is a subclass of digital data
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19525-19525 Web site is a subclass of digital data

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2009-2009 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 2339-2339 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 3492-3506
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 1986-1991

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3213-3225
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 3163-3170
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4314-4321
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. QoSontology.kif 505-512
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4294-4305
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 1812-1817
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 136-152


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