TransportationEquipmentManufacturing - Sigma Knowledge base Browser

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	Transportation equipment manufacturing is an instance of industry attribute

appearance as argument number 2

(disjoint MiscellaneousManufacturing TransportationEquipmentManufacturing)	naics.kif 6142-6142	Miscellaneous manufacturing is disjoint from transportation equipment manufacturing
(subAttribute AerospaceProductAndPartsManufacturing TransportationEquipmentManufacturing)	naics.kif 5879-5879	Aerospace product and parts manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute MotorVehicleBodyAndTrailerManufacturing TransportationEquipmentManufacturing)	naics.kif 5736-5736	Motor vehicle body and trailer manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute MotorVehicleManufacturing TransportationEquipmentManufacturing)	naics.kif 5701-5701	Motor vehicle manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute MotorVehiclePartsManufacturing TransportationEquipmentManufacturing)	naics.kif 5768-5768	Motor vehicle parts manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute OtherTransportationEquipmentManufacturing TransportationEquipmentManufacturing)	naics.kif 5958-5958	Other transportation equipment manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute RailroadRollingStockManufacturing TransportationEquipmentManufacturing)	naics.kif 5933-5933	Railroad rolling stock manufacturing is a subattribute of transportation equipment manufacturing
(subAttribute ShipAndBoatBuilding TransportationEquipmentManufacturing)	naics.kif 5939-5939	Ship and boat building is a subattribute of transportation equipment manufacturing
(termFormat ChineseLanguage TransportationEquipmentManufacturing "运输设备制造业")	domainEnglishFormat.kif 59050-59050	Ship and boat building is a subattribute of transportation equipment manufacturing
(termFormat ChineseTraditionalLanguage TransportationEquipmentManufacturing "運輸設備製造業")	domainEnglishFormat.kif 59049-59049	Ship and boat building is a subattribute of transportation equipment manufacturing
(termFormat EnglishLanguage TransportationEquipmentManufacturing "transportation equipment manufacturing")	domainEnglishFormat.kif 59048-59048	Ship and boat building is a subattribute of transportation equipment manufacturing

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

If a collection is an instance of organization and transportation equipment manufacturing 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 exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of transportation device and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2

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: