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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MachineryManufacturing
MachineryManufacturing(机械制造业)

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


(documentation MachineryManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Machinery Manufacturing.") naics.kif 4640-4642
(industryProductType MachineryManufacturing Machine) Economy.kif 1784-1784 机器 是 机械制造业 的 industry 产品类别
(instance MachineryManufacturing IndustryAttribute) naics.kif 4638-4638 机械制造业 是 行业属性 的 instance

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


(disjoint MiscellaneousManufacturing MachineryManufacturing) naics.kif 6145-6145 杂项制造业 和 % 2 是 disjoint
(subAttribute AgricultureConstructionAndMiningMachineryManufacturing MachineryManufacturing) naics.kif 4662-4662 农业建设和采矿机械制造业 是 机械制造业 的 subAttribute
(subAttribute CommercialAndServiceIndustryMachineryManufacturing MachineryManufacturing) naics.kif 4793-4793 商业和服务业机械制造业 是 机械制造业 的 subAttribute
(subAttribute EngineTurbineAndPowerTransmissionEquipmentManufacturing MachineryManufacturing) naics.kif 4947-4947 发动机涡轮和动力传动设备制造 是 机械制造业 的 subAttribute
(subAttribute IndustrialMachineryManufacturing MachineryManufacturing) naics.kif 4722-4722 工业机械制造业 是 机械制造业 的 subAttribute
(subAttribute MetalworkingMachineryManufacturing MachineryManufacturing) naics.kif 4889-4889 金属加工机械制造业 是 机械制造业 的 subAttribute
(subAttribute OtherGeneralPurposeMachineryManufacturing MachineryManufacturing) naics.kif 4984-4984 其他通用机械制造 是 机械制造业 的 subAttribute
(subAttribute VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing MachineryManufacturing) naics.kif 4846-4846 通风采暖空调和商用制冷设备制造 是 机械制造业 的 subAttribute
(termFormat ChineseLanguage MachineryManufacturing "机械制造业") domainEnglishFormat.kif 35525-35525
(termFormat ChineseTraditionalLanguage MachineryManufacturing "機械製造業") domainEnglishFormat.kif 35524-35524
(termFormat EnglishLanguage MachineryManufacturing "machinery manufacturing") domainEnglishFormat.kif 35523-35523

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG MachineryManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Machine)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))		 naics.kif 4644-4660


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