Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MotorVehicleAndPartsDealers
MotorVehicleAndPartsDealers(motor vehicle and parts dealers)

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 Motor vehicle and parts dealers is an instance of industry attribute
(subAttribute MotorVehicleAndPartsDealers MotorVehicleIndustry) Economy.kif 1816-1816 Motor vehicle and parts dealers is a subattribute of motor vehicle industry

appearance as argument number 2
-------------------------


(subAttribute AutomobileDealers MotorVehicleAndPartsDealers) naics.kif 7042-7042 Automobile dealers is a subattribute of motor vehicle and parts dealers
(subAttribute AutomotivePartsAccessoriesAndTireStores MotorVehicleAndPartsDealers) naics.kif 7098-7098 Automotive parts accessories and tire stores is a subattribute of motor vehicle and parts dealers
(subAttribute OtherMotorVehicleDealers MotorVehicleAndPartsDealers) naics.kif 7060-7060 Other motor vehicle dealers is a subattribute of motor vehicle and parts dealers
(termFormat ChineseLanguage MotorVehicleAndPartsDealers "汽车及零部件经销商") domainEnglishFormat.kif 38873-38873
(termFormat ChineseTraditionalLanguage MotorVehicleAndPartsDealers "汽車及零部件經銷商") domainEnglishFormat.kif 38872-38872
(termFormat EnglishLanguage MotorVehicleAndPartsDealers "motor vehicle and parts dealers") domainEnglishFormat.kif 38871-38871

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