|
|
   Database
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1875-1877 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5948-5948 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1874-1874 | Database is a subclass of digital data |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2406-2406 | Data warehouse is a subclass of database |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18537-18537 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18536-18536 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18535-18535 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2440-2440 | The number 1 argument of site catalog is an instance of database |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2371-2371 | The number 1 argument of user database is an instance of database |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 784-792 |
|
|
|
|
