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 |
|
![]() |
![]() |