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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1849-1851
(externalImage Database "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ OOo-2.0-Base-ca.png") pictureList.kif 5948-5948
(subclass Database DigitalData) QoSontology.kif 1848-1848

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


(subclass DataWarehouse Database) UXExperimentalTerms.kif 2403-2403
(termFormat EnglishLanguage Database "database") domainEnglishFormat.kif 3512-3512

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


(domain siteCatalog 1 Database) UXExperimentalTerms.kif 2437-2437
(domain userDatabase 1 Database) UXExperimentalTerms.kif 2368-2368

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 784-792


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