| appearance as argument number 1 |
|
| (documentation MotorVehicleAndPartsDealers EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Motor Vehicle and Parts Dealers.") | naics.kif 7019-7021 | |
| (instance MotorVehicleAndPartsDealers IndustryAttribute) | naics.kif 7017-7017 | MotorVehicleAndPartsDealers は IndustryAttribute の instance では %n |
| (subAttribute MotorVehicleAndPartsDealers MotorVehicleIndustry) | Economy.kif 1816-1816 | MotorVehicleAndPartsDealers は MotorVehicleIndustry の subattribute では %n |
| appearance as argument number 2 |
|
|
| (subAttribute AutomobileDealers MotorVehicleAndPartsDealers) | naics.kif 7042-7042 | AutomobileDealers は MotorVehicleAndPartsDealers の subattribute では %n |
| (subAttribute AutomotivePartsAccessoriesAndTireStores MotorVehicleAndPartsDealers) | naics.kif 7098-7098 | AutomotivePartsAccessoriesAndTireStores は MotorVehicleAndPartsDealers の subattribute では %n |
| (subAttribute OtherMotorVehicleDealers MotorVehicleAndPartsDealers) | naics.kif 7060-7060 | OtherMotorVehicleDealers は MotorVehicleAndPartsDealers の subattribute では %n |
| (termFormat ChineseLanguage MotorVehicleAndPartsDealers "汽车及零部件经销商") | domainEnglishFormat.kif 38871-38871 | |
| (termFormat ChineseTraditionalLanguage MotorVehicleAndPartsDealers "汽車及零部件經銷商") | domainEnglishFormat.kif 38870-38870 | |
| (termFormat EnglishLanguage MotorVehicleAndPartsDealers "motor vehicle and parts dealers") | domainEnglishFormat.kif 38869-38869 |
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG MotorVehicleAndPartsDealers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (or (instance ?THING TransportationDevice) (exists (?DEV) (and (part ?THING ?DEV) (instance ?DEV TransportationDevice))) (patient ?EV ?THING))))))) |
naics.kif 7023-7040 |
|
|
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