| Mailbox(mailbox)
| | letter_box, 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 | Mailbox is a subclass of container |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mailbox "邮箱") | domainEnglishFormat.kif 35697-35697 | |
| (termFormat ChineseTraditionalLanguage Mailbox "郵箱") | domainEnglishFormat.kif 35696-35696 | |
| (termFormat EnglishLanguage Mailbox "mailbox") | domainEnglishFormat.kif 35695-35695 |
| 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 |
|
|
|
|