| appearance as argument number 1 |
|
| (documentation WaterTransportationIndustry EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Water Transportation.") | naics.kif 8076-8078 | |
| (instance WaterTransportationIndustry IndustryAttribute) | naics.kif 8074-8074 |
| appearance as argument number 2 |
|
|
| (subAttribute DeepSeaCoastalAndGreatLakesWaterTransportation WaterTransportationIndustry) | naics.kif 8107-8107 | |
| (subAttribute InlandWaterTransportation WaterTransportationIndustry) | naics.kif 8227-8227 | |
| (termFormat ChineseLanguage WaterTransportationIndustry "水运业") | domainEnglishFormat.kif 62518-62518 | |
| (termFormat ChineseTraditionalLanguage WaterTransportationIndustry "水運業") | domainEnglishFormat.kif 62517-62517 | |
| (termFormat EnglishLanguage WaterTransportationIndustry "water transportation industry") | domainEnglishFormat.kif 62516-62516 |
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG WaterTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (or (patient ?T ?P) (and (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?V) (instance ?V WaterVehicle))) ?MEM ?P)))))) |
naics.kif 8080-8105 |
|
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