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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransportationEquipmentManufacturing
TransportationEquipmentManufacturing(transportation equipment manufacturing)

appearance as argument number 1
-------------------------


(documentation TransportationEquipmentManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Transportation Equipment Manufacturing.") naics.kif 5686-5688
(instance TransportationEquipmentManufacturing IndustryAttribute) naics.kif 5684-5684 Transportation equipment manufacturing is an instance of industry attribute

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


(disjoint MiscellaneousManufacturing TransportationEquipmentManufacturing) naics.kif 6149-6149 Miscellaneous manufacturing is disjoint from transportation equipment manufacturing
(subAttribute AerospaceProductAndPartsManufacturing TransportationEquipmentManufacturing) naics.kif 5886-5886 Aerospace product and parts manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute MotorVehicleBodyAndTrailerManufacturing TransportationEquipmentManufacturing) naics.kif 5743-5743 Motor vehicle body and trailer manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute MotorVehicleManufacturing TransportationEquipmentManufacturing) naics.kif 5708-5708 Motor vehicle manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute MotorVehiclePartsManufacturing TransportationEquipmentManufacturing) naics.kif 5775-5775 Motor vehicle parts manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute OtherTransportationEquipmentManufacturing TransportationEquipmentManufacturing) naics.kif 5965-5965 Other transportation equipment manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute RailroadRollingStockManufacturing TransportationEquipmentManufacturing) naics.kif 5940-5940 Railroad rolling stock manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute ShipAndBoatBuilding TransportationEquipmentManufacturing) naics.kif 5946-5946 Ship and boat building is a subattribute of transportation equipment manufacturing
(termFormat ChineseLanguage TransportationEquipmentManufacturing "运输设备制造业") domainEnglishFormat.kif 58996-58996
(termFormat ChineseTraditionalLanguage TransportationEquipmentManufacturing "運輸設備製造業") domainEnglishFormat.kif 58995-58995
(termFormat EnglishLanguage TransportationEquipmentManufacturing "transportation equipment manufacturing") domainEnglishFormat.kif 58994-58994

antecedent
-------------------------


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TransportationEquipmentManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING TransportationDevice)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 5690-5706


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