GasolineStations |
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 |
appearance as argument number 2 |
(subAttribute GasolineStationsWithConvenienceStores GasolineStations) | naics.kif 7486-7486 | |
(subAttribute OtherGasolineStations GasolineStations) | naics.kif 7493-7493 | |
(termFormat ChineseLanguage GasolineStations "加油站") | domainEnglishFormat.kif 25562-25562 | |
(termFormat ChineseTraditionalLanguage GasolineStations "加油站") | domainEnglishFormat.kif 25561-25561 | |
(termFormat EnglishLanguage GasolineStations "gasoline stations") | domainEnglishFormat.kif 25560-25560 |
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 |