| GasolineStations(gasoline stations)
|
| appearance as argument number 1 |
|
| (documentation GasolineStations EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Gasoline Stations.") | naics.kif 7468-7470 | |
| (externalImage GasolineStations "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ GasStationHiroshima.jpg") | pictureList.kif 2192-2192 | |
| (instance GasolineStations IndustryAttribute) | naics.kif 7466-7466 | Gasoline stations is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| (subAttribute GasolineStationsWithConvenienceStores GasolineStations) | naics.kif 7486-7486 | Gasoline stations with convenience stores is a subattribute of gasoline stations |
| (subAttribute OtherGasolineStations GasolineStations) | naics.kif 7493-7493 | Other gasoline stations is a subattribute of gasoline stations |
| (termFormat ChineseLanguage GasolineStations "加油站") | domainEnglishFormat.kif 25596-25596 | Other gasoline stations is a subattribute of gasoline stations |
| (termFormat ChineseTraditionalLanguage GasolineStations "加油站") | domainEnglishFormat.kif 25595-25595 | Other gasoline stations is a subattribute of gasoline stations |
| (termFormat EnglishLanguage GasolineStations "gasoline stations") | domainEnglishFormat.kif 25594-25594 | Other gasoline stations is a subattribute of gasoline stations |
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG GasolineStations)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING RefinedPetroleumProduct) (patient ?EV ?THING)))))) |
naics.kif 7472-7484 |
|
|
|
|