| Database(database)
| | database |
| appearance as argument number 1 |
|
|
| (subclass Database DigitalData) | QoSontology.kif 2000-2000 | Database is a subclass of digital data |
| (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 | Database is a subclass of digital data |
| (externalImage Database "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ OOo-2.0-Base_ca.png") | pictureList.kif 5946-5946 | Database is a subclass of digital data |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain userDatabase 1 Database) | UXExperimentalTerms.kif 2162-2162 | The number 1 argument of user database is an instance of database |
| (domain siteCatalog 1 Database) | UXExperimentalTerms.kif 2231-2231 | The number 1 argument of site catalog is an instance of 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 | If X is an account at Y, then there exist Z, ?SITE_OWNER such that Z is an instance of database, ?SITE_OWNER is an instance of agent, ?SITE_OWNER possesses Y, ?SITE_OWNER possesses Z, and X is a part of Z |
|
|
|