Mailing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Mailing

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6648-6649
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6685-6685
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7256-7256
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7257-7257
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7258-7258
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7259-7259
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7260-7260
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7261-7261
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7262-7262
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7263-7263
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7264-7264
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6647-6647	Mailing is a subclass of transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35669-35669
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35668-35668
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35667-35667

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4180-4187	If a physical is an instance of mailbox, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of mailing and the other entity is a patient of the entity and the entity ends up at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 834-842	If a process is an instance of corresponding, then there exist another process and an entity such that the other process is an instance of mailing and the other process is a subprocess of the process and the entity is an instance of correspondence and the entity is a patient of the other process and the entity is a patient of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners