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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Mailbox

appearance as argument number 1

(documentation Mailbox EnglishLanguage "A Container whose purpose is to receive items that are mailed to the address associated with the Mailbox.") Mid-level-ontology.kif 4177-4178
(externalImage Mailbox " misc_4/ mail_box.png") pictureList.kif 570-570
(subclass Mailbox Container) Mid-level-ontology.kif 4176-4176

appearance as argument number 2

(termFormat ChineseLanguage Mailbox "邮箱") domainEnglishFormat.kif 35663-35663
(termFormat ChineseTraditionalLanguage Mailbox "郵箱") domainEnglishFormat.kif 35662-35662
(termFormat EnglishLanguage Mailbox "mailbox") domainEnglishFormat.kif 35661-35661


    (instance ?B Mailbox)
    (hasPurpose ?B
        (exists (?M ?I)
                (instance ?M Mailing)
                (patient ?M ?I)
                (destination ?M ?B)))))
Mid-level-ontology.kif 4180-4187

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 3.0 is open source software produced by Articulate Software and its partners