| 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 4243-4244 | |
| (externalImage Mailbox "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_4/ mail_box.png") | pictureList.kif 570-570 | |
| (subclass Mailbox Container) | Mid-level-ontology.kif 4242-4242 | Mailbox is a subclass of container |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mailbox "邮箱") | domainEnglishFormat.kif 35689-35689 | |
| (termFormat ChineseTraditionalLanguage Mailbox "郵箱") | domainEnglishFormat.kif 35688-35688 | |
| (termFormat EnglishLanguage Mailbox "mailbox") | domainEnglishFormat.kif 35687-35687 |
| antecedent |
|
|
| (=> (instance ?B Mailbox) (hasPurpose ?B (exists (?M ?I) (and (instance ?M Mailing) (patient ?M ?I) (destination ?M ?B))))) |
Mid-level-ontology.kif 4246-4253 |
|
|
|
|