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. | UXExperimentalTerms.kif 2197-2197 | Data warehouse is a subclass of database |