MotorVehicleAndPartsDealers - Sigma Knowledge base Browser

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 38907-38907	Other motor vehicle dealers is a subattribute of motor vehicle and parts dealers
(termFormat ChineseTraditionalLanguage MotorVehicleAndPartsDealers "汽車及零部件經銷商")	domainEnglishFormat.kif 38906-38906	Other motor vehicle dealers is a subattribute of motor vehicle and parts dealers
(termFormat EnglishLanguage MotorVehicleAndPartsDealers "motor vehicle and parts dealers")	domainEnglishFormat.kif 38905-38905	Other motor vehicle dealers is a subattribute of motor vehicle and parts dealers

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

If a collection is an instance of organization and motor vehicle and parts dealers is an attribute of the collection,
then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of transportation device or there exists another object such that the object is a part of the other object and the other object is an instance of transportation device or the object is a patient of the agent

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

KB Term:			Term intersection

English Word: