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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransportationEquipmentManufacturing
TransportationEquipmentManufacturing(運輸設備製造業)

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 5679-5681
(instance TransportationEquipmentManufacturing IndustryAttribute) naics.kif 5677-5677 運輸設備製造業 and 行業屬性

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


(disjoint MiscellaneousManufacturing TransportationEquipmentManufacturing) naics.kif 6142-6142 不相交的 雜項製造業 and 運輸設備製造業
(subAttribute AerospaceProductAndPartsManufacturing TransportationEquipmentManufacturing) naics.kif 5879-5879 子屬性 航空航天產品和零件製造 and 運輸設備製造業
(subAttribute MotorVehicleBodyAndTrailerManufacturing TransportationEquipmentManufacturing) naics.kif 5736-5736 子屬性 汽車車身和拖車製造 and 運輸設備製造業
(subAttribute MotorVehicleManufacturing TransportationEquipmentManufacturing) naics.kif 5701-5701 子屬性 汽車製造業 and 運輸設備製造業
(subAttribute MotorVehiclePartsManufacturing TransportationEquipmentManufacturing) naics.kif 5768-5768 子屬性 汽車零部件製造業 and 運輸設備製造業
(subAttribute OtherTransportationEquipmentManufacturing TransportationEquipmentManufacturing) naics.kif 5958-5958 子屬性 其他運輸設備製造業 and 運輸設備製造業
(subAttribute RailroadRollingStockManufacturing TransportationEquipmentManufacturing) naics.kif 5933-5933 子屬性 鐵路車輛製造 and 運輸設備製造業
(subAttribute ShipAndBoatBuilding TransportationEquipmentManufacturing) naics.kif 5939-5939 子屬性 船和造船 and 運輸設備製造業
(termFormat ChineseLanguage TransportationEquipmentManufacturing "运输设备制造业") domainEnglishFormat.kif 59014-59014
(termFormat ChineseTraditionalLanguage TransportationEquipmentManufacturing "運輸設備製造業") domainEnglishFormat.kif 59013-59013
(termFormat EnglishLanguage TransportationEquipmentManufacturing "transportation equipment manufacturing") domainEnglishFormat.kif 59012-59012

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 5683-5699


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