Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1851-1851 Digital data is a subclass of symbolic string
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 171-171 Computer 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. 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 1862-1862 Image file 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. QoSontology.kif 2105-2105 Computer report 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. ComputerInput.kif 2825-2825 Digital post 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


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