| CouriersAndMessengers(couriers and messengers) | | couriers_and_messengers |
| appearance as argument number 1 |
|
|
| s__documentation(s__CouriersAndMessengers,s__EnglishLanguage,'An Attribute of an Organization, that specifies that the primary business of the organization involves Couriers and Messengers.')
|
naics.kif 8656-8658 | |
| s__instance(s__CouriersAndMessengers,s__IndustryAttribute) s__instance(s__IndustryAttribute,s__SetOrClass)
|
naics.kif 8654-8654 | Couriers and messengers is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| s__subAttribute(s__Couriers,s__CouriersAndMessengers)
|
naics.kif 8683-8683 | Couriers is a subattribute of couriers and messengers |
| s__subAttribute(s__LocalMessengersAndLocalDelivery,s__CouriersAndMessengers)
|
naics.kif 8689-8689 | Local messengers and local delivery is a subattribute of couriers and messengers |
| s__termFormat(s__EnglishLanguage,s__CouriersAndMessengers,'couriers and messengers')
|
domainEnglishFormat.kif 3356-3356 | "couriers and messengers" is the printable form of couriers and messengers in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8661-8681 |
|
|
|
|