Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Mailing(mailing)
more pictures... |  | 1st-class_mail, 1st_class, airmail, airpost, express, express_mail, first-class_mail, first_class, forward, get_off, mail, mail_service, parcel_post, post, postal_service, poste_restante, send_on |
| appearance as argument number 1 |
|
|
| (subclass Mailing Transfer) | Mid-level-ontology.kif 7735-7735 | Mailing is a subclass of transfer |
| (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 7736-7737 | Mailing is a subclass of transfer |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/0/ 06/ Uk_pillarbox_collection.jpg") | pictureList.kif 6684-6684 | Mailing is a subclass of transfer |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/1/ 16/ Mailboxes.jpg") | pictureList.kif 7255-7255 | Mailing is a subclass of transfer |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/4/ 4b/ Red_Scinde_Dawk_stamp.jpg") | pictureList.kif 7256-7256 | Mailing is a subclass of transfer |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/6/ 65/ PostOffice20040124CopyrightKaihsuTai.jpg") | pictureList.kif 7257-7257 | Mailing is a subclass of transfer |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Houttakin_postitalo.jpg") | pictureList.kif 7258-7258 | Mailing is a subclass of transfer |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Postbriefkasten20050814_CopyrightKaihsuTai.jpg") | pictureList.kif 7259-7259 | Mailing is a subclass of transfer |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/a/ a0/ Stamp_China_1949_4c_on_100_silver_ovpt.jpg") | pictureList.kif 7260-7260 | Mailing is a subclass of transfer |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/b/ b6/ US_mail_letterbox.jpg") | pictureList.kif 7261-7261 | Mailing is a subclass of transfer |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ Correio_Postman_Brasil.jpg") | pictureList.kif 7262-7262 | Mailing is a subclass of transfer |
| (externalImage Mailing "http://upload.wikimedia.org/wikipedia/en/5/53/Correos_spain.jpg") | pictureList.kif 7263-7263 | Mailing is a subclass of transfer |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 823-831 | If X is an instance of corresponding, then there exist Y, Z such that Y is an instance of mailing, Y is a subprocess of X, Z is an instance of correspondence, Z is a patient of Y, and Z is a patient of X |
| (=> (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 |
|