| Utilities
|
| appearance as argument number 1 |
|
| (documentation Utilities EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Utilities.") | naics.kif 925-927 | |
| (externalImage Utilities "http://articulatesoftware.com/SUMOpictures/energy/ Utilities.png") | pictureList.kif 817-817 | |
| (instance Utilities IndustryAttribute) | naics.kif 923-923 |
| appearance as argument number 2 |
|
|
| (subAttribute ElectricPowerGenerationTransmissionAndDistribution Utilities) | naics.kif 980-980 | |
| (subAttribute NaturalGasDistribution Utilities) | naics.kif 1042-1042 | |
| (subAttribute WaterSewageAndOtherSystems Utilities) | naics.kif 1048-1048 | |
| (termFormat ChineseLanguage Utilities "公用事业") | domainEnglishFormat.kif 61107-61107 | |
| (termFormat ChineseTraditionalLanguage Utilities "公用事業") | domainEnglishFormat.kif 61106-61106 | |
| (termFormat EnglishLanguage Utilities "utilities") | domainEnglishFormat.kif 61105-61105 |
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 954-977 |
|
|
|