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 TransportationEquipmentManufacturing est une instance de IndustryAttribute

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


(disjoint MiscellaneousManufacturing TransportationEquipmentManufacturing) naics.kif 6142-6142 MiscellaneousManufacturing est disjoint de TransportationEquipmentManufacturing
(subAttribute AerospaceProductAndPartsManufacturing TransportationEquipmentManufacturing) naics.kif 5879-5879 AerospaceProductAndPartsManufacturing est un sous-attribut de TransportationEquipmentManufacturing
(subAttribute MotorVehicleBodyAndTrailerManufacturing TransportationEquipmentManufacturing) naics.kif 5736-5736 MotorVehicleBodyAndTrailerManufacturing est un sous-attribut de TransportationEquipmentManufacturing
(subAttribute MotorVehicleManufacturing TransportationEquipmentManufacturing) naics.kif 5701-5701 MotorVehicleManufacturing est un sous-attribut de TransportationEquipmentManufacturing
(subAttribute MotorVehiclePartsManufacturing TransportationEquipmentManufacturing) naics.kif 5768-5768 MotorVehiclePartsManufacturing est un sous-attribut de TransportationEquipmentManufacturing
(subAttribute OtherTransportationEquipmentManufacturing TransportationEquipmentManufacturing) naics.kif 5958-5958 OtherTransportationEquipmentManufacturing est un sous-attribut de TransportationEquipmentManufacturing
(subAttribute RailroadRollingStockManufacturing TransportationEquipmentManufacturing) naics.kif 5933-5933 RailroadRollingStockManufacturing est un sous-attribut de TransportationEquipmentManufacturing
(subAttribute ShipAndBoatBuilding TransportationEquipmentManufacturing) naics.kif 5939-5939 ShipAndBoatBuilding est un sous-attribut de TransportationEquipmentManufacturing
(termFormat ChineseLanguage TransportationEquipmentManufacturing "运输设备制造业") domainEnglishFormat.kif 59012-59012
(termFormat ChineseTraditionalLanguage TransportationEquipmentManufacturing "運輸設備製造業") domainEnglishFormat.kif 59011-59011
(termFormat EnglishLanguage TransportationEquipmentManufacturing "transportation equipment manufacturing") domainEnglishFormat.kif 59010-59010

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