Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Mailbox
Mailbox(mailbox)
letter_box, mailbox

appearance as argument number 1
-------------------------


(subclass Mailbox Container) Mid-level-ontology.kif 4822-4822 Mailbox is a subclass of container
(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 4823-4824 Mailbox is a subclass of container
(externalImage Mailbox "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_4/ mail_box.png") pictureList.kif 570-570 Mailbox is a subclass of container

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


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

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


(=>
    (instance ?B Mailbox)
    (hasPurpose ?B
        (exists (?M ?I)
            (and
                (instance ?M Mailing)
                (patient ?M ?I)
                (destination ?M ?B)))))		 Mid-level-ontology.kif 4826-4833 If X is an instance of mailbox, then X has the purpose there exist Y, Z such that Y is an instance of mailing, Z is a patient of Y, and Y ends up at X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners