|
|
   Mailing
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Mailing EnglishLanguage "Any instance of Transfer where a postal system is used to move the patient, either a letter or a package.") | Mid-level-ontology.kif 6642-6643 | |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/0/ 06/ Uk_pillarbox_collection.jpg") | pictureList.kif 6685-6685 | |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/1/ 16/ Mailboxes.jpg") | pictureList.kif 7256-7256 | |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/4/ 4b/ Red_Scinde_Dawk_stamp.jpg") | pictureList.kif 7257-7257 | |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/6/ 65/ PostOffice20040124CopyrightKaihsuTai.jpg") | pictureList.kif 7258-7258 | |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Houttakin_postitalo.jpg") | pictureList.kif 7259-7259 | |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Postbriefkasten20050814_CopyrightKaihsuTai.jpg") | pictureList.kif 7260-7260 | |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/a/ a0/ Stamp_China_1949_4c_on_100_silver_ovpt.jpg") | pictureList.kif 7261-7261 | |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/b/ b6/ US_mail_letterbox.jpg") | pictureList.kif 7262-7262 | |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ Correio_Postman_Brasil.jpg") | pictureList.kif 7263-7263 | |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/en/5/53/Correos_spain.jpg") | pictureList.kif 7264-7264 | |
| (subclass Mailing Transfer) | Mid-level-ontology.kif 6641-6641 | Mailing è una sottoclasse di Trasferimento |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mailing "邮件") | domainEnglishFormat.kif 35669-35669 | |
| (termFormat ChineseTraditionalLanguage Mailing "郵件") | domainEnglishFormat.kif 35668-35668 | |
| (termFormat EnglishLanguage Mailing "mailing") | domainEnglishFormat.kif 35667-35667 |
| consequent |
|
|
| (=> (instance ?B Mailbox) (hasPurpose ?B (exists (?M ?I) (and (instance ?M Mailing) (patient ?M ?I) (destination ?M ?B))))) |
Mid-level-ontology.kif 4173-4180 | |
| (=> (instance ?C Corresponding) (exists (?M ?T) (and (instance ?M Mailing) (subProcess ?M ?C) (instance ?T Correspondence) (patient ?M ?T) (patient ?C ?T)))) |
Mid-level-ontology.kif 827-835 |
|
|
|
