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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Database

Sigma KEE - 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 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 数据库数字数据subclass

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


(instance Medline Database) Medicine.kif 4942-4942 Medline数据库instance
(subclass DataWarehouse Database) UXExperimentalTerms.kif 2197-2197 DataWarehouse数据库subclass
(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 siteCatalog 的 1 数量 是 数据库instance
(domain userDatabase 1 Database) UXExperimentalTerms.kif 2162-2162 userDatabase 的 1 数量 是 数据库instance

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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners