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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotorVehicleAndPartsDealers

Sigma KEE - MotorVehicleAndPartsDealers
MotorVehicleAndPartsDealers

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 ist ein fall von IndustryAttribute %n{nicht}
(subAttribute MotorVehicleAndPartsDealers MotorVehicleIndustry) Economy.kif 1816-1816 MotorVehicleAndPartsDealers ist ein teilattribut von MotorVehicleIndustry

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


(subAttribute AutomobileDealers MotorVehicleAndPartsDealers) naics.kif 7042-7042 AutomobileDealers ist ein teilattribut von MotorVehicleAndPartsDealers
(subAttribute AutomotivePartsAccessoriesAndTireStores MotorVehicleAndPartsDealers) naics.kif 7098-7098 AutomotivePartsAccessoriesAndTireStores ist ein teilattribut von MotorVehicleAndPartsDealers
(subAttribute OtherMotorVehicleDealers MotorVehicleAndPartsDealers) naics.kif 7060-7060 OtherMotorVehicleDealers ist ein teilattribut von MotorVehicleAndPartsDealers
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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