|
|
   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 1870-1872 | |
| (externalImage Database "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ OOo-2.0-Base-ca.png") | pictureList.kif 5947-5947 | |
| (subclass Database DigitalData) | QoSontology.kif 1869-1869 | Database è una sottoclasse di DigitalData |
| appearance as argument number 2 |
|
|
| (instance Medline Database) | Medicine.kif 4942-4942 | Medline è un' istanza di Database |
| (subclass DataWarehouse Database) | UXExperimentalTerms.kif 2197-2197 | DataWarehouse è una sottoclasse di Database |
| (termFormat ChineseLanguage Database "数据库") | domainEnglishFormat.kif 18546-18546 | |
| (termFormat ChineseTraditionalLanguage Database "數據庫") | domainEnglishFormat.kif 18545-18545 | |
| (termFormat EnglishLanguage Database "database") | domainEnglishFormat.kif 18544-18544 |
| appearance as argument number 3 |
|
|
| (domain siteCatalog 1 Database) | UXExperimentalTerms.kif 2231-2231 | Il numero 1 argomenti di siteCatalog è un istanza di Database |
| (domain userDatabase 1 Database) | UXExperimentalTerms.kif 2162-2162 | Il numero 1 argomenti di userDatabase è un istanza di Database |
| consequent |
|
|
| (=> (accountAtSite ?ACCT ?SITE) (exists (?DATABASE ?SITE_OWNER) (and (instance ?DATABASE Database) (instance ?SITE_OWNER AutonomousAgent) (possesses ?SITE_OWNER ?SITE) (possesses ?SITE_OWNER ?DATABASE) (part ?ACCT ?DATABASE)))) |
UXExperimentalTerms.kif 632-640 |
|
|
|
|
