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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mailbox

Sigma KEE - Mailbox
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 4170-4171
(externalImage Mailbox "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_4/ mail_box.png") pictureList.kif 570-570
(subclass Mailbox Container) Mid-level-ontology.kif 4169-4169

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

antecedent
-------------------------


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


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