| Database(database)
| | database |
| appearance as argument number 1 |
|
|
| (documentation Database EnglishLanguage "A database is an organized collection of Data that is used for one or more purposes. It is usually managed by some sort of Database Management System (DBMS).") | QoSontology.kif 1876-1878 | |
| (externalImage Database "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ OOo-2.0-Base-ca.png") | pictureList.kif 5948-5948 | |
| (subclass Database DigitalData) | QoSontology.kif 1875-1875 | Database is a subclass of digital data |
| appearance as argument number 2 |
|
|
| (subclass DataWarehouse Database) | UXExperimentalTerms.kif 2406-2406 | Data warehouse is a subclass of database |
| (termFormat ChineseLanguage Database "数据库") | domainEnglishFormat.kif 18537-18537 | |
| (termFormat ChineseTraditionalLanguage Database "數據庫") | domainEnglishFormat.kif 18536-18536 | |
| (termFormat EnglishLanguage Database "database") | domainEnglishFormat.kif 18535-18535 |
| appearance as argument number 3 |
|
|
| (domain siteCatalog 1 Database) | UXExperimentalTerms.kif 2440-2440 | The number 1 argument of site catalog is an instance of database |
| (domain userDatabase 1 Database) | UXExperimentalTerms.kif 2371-2371 | The number 1 argument of user database is an instance of database |
| consequent |
|
|
| (=> (accountAtSite ?ACCT ?SITE) (exists (?DATABASE ?SITE_OWNER) (and (instance ?DATABASE Database) (instance ?SITE_OWNER Agent) (possesses ?SITE ?SITE_OWNER) (possesses ?DATABASE ?SITE_OWNER) (part ?ACCT ?DATABASE)))) |
UXExperimentalTerms.kif 784-792 |
|
|
|
|