| 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 2001-2003 | |
| (externalImage Database "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ OOo-2.0-Base_ca.png") | pictureList.kif 5946-5946 | |
| (subclass Database DigitalData) | QoSontology.kif 2000-2000 |
| appearance as argument number 2 |
|
|
| (instance Medline Database) | Medicine.kif 4949-4949 | |
| (subclass DataWarehouse Database) | UXExperimentalTerms.kif 2197-2197 | |
| (termFormat ChineseLanguage Database "数据库") | domainEnglishFormat.kif 18561-18561 | |
| (termFormat ChineseTraditionalLanguage Database "數據庫") | domainEnglishFormat.kif 18560-18560 | |
| (termFormat EnglishLanguage Database "database") | domainEnglishFormat.kif 18559-18559 |
| appearance as argument number 3 |
|
|
| (domain siteCatalog 1 Database) | UXExperimentalTerms.kif 2231-2231 | |
| (domain userDatabase 1 Database) | UXExperimentalTerms.kif 2162-2162 |
| 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 |
|
|
|