Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Database
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 "http://upload.wikimedia.org/wikipedia/commons/9/93/ OOo-2.0-Base-ca.png" is a URL depicting database
(subclass Database DigitalData) QoSontology.kif 1875-1875 Database is a subclass of digital data

appearance as argument number 2
-------------------------


(subclass DataWarehouse Database) UXExperimentalTerms.kif 2401-2401 Data warehouse is a subclass of database
(termFormat ChineseLanguage Database "数据库") domainEnglishFormat.kif 18475-18475 "数据库" is the printable form of database in ChineseLanguage
(termFormat ChineseTraditionalLanguage Database "數據庫") domainEnglishFormat.kif 18474-18474 "數據庫" is the printable form of database in ChineseTraditionalLanguage
(termFormat EnglishLanguage Database "database") domainEnglishFormat.kif 18473-18473 "database" is the printable form of database in english language

appearance as argument number 3
-------------------------


(domain siteCatalog 1 Database) UXExperimentalTerms.kif 2435-2435 The number 1 argument of site catalog is an instance of database
(domain userDatabase 1 Database) UXExperimentalTerms.kif 2366-2366 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 780-788


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners