Machine - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Machine ChineseLanguage "Machine 是一些有明确定义的 resource 和 result 的 Devices，它们以自动化的方式把 resource 转成 result。")	chinese_format.kif 3634-3635
(documentation Machine EnglishLanguage "Machines are Devices that that have a well-defined resource and result and that automatically convert the resource into the result.")	Merge.kif 16042-16044
(externalImage Machine "http://upload.wikimedia.org/wikipedia/commons/b/ b3/ USDA_windmills.jpg")	pictureList.kif 11412-11412
(subclass Machine Device)	Merge.kif 16041-16041	子類 Machine and Device

appearance as argument number 2

(disjoint Furniture Machine)	Mid-level-ontology.kif 3711-3711	不相交的家具 and Machine
(industryProductType MachineryManufacturing Machine)	Economy.kif 1784-1784	Machine 是機械製造業的 industry 產品類別
(subclass AirConditioningCondenser Machine)	Cars.kif 2045-2045	子類 AirConditioningCondenser and Machine
(subclass AirConditioningEvaporator Machine)	Cars.kif 2069-2069	子類 AirConditioningEvaporator and Machine
(subclass GasCompressor Machine)	Cars.kif 5168-5168	子類 GasCompressor and Machine
(subclass Generator Machine)	Cars.kif 1190-1190	子類 Generator and Machine
(subclass IceMachine Machine)	Mid-level-ontology.kif 25511-25511	子類 IceMachine and Machine
(subclass Lathe Machine)	Economy.kif 5986-5986	子類車床 and Machine
(subclass Motor Machine)	engineering.kif 742-742	子類發動機 and Machine
(subclass Planer Machine)	Economy.kif 6013-6013	子類刨床 and Machine
(subclass VendingMachine Machine)	Mid-level-ontology.kif 1954-1954	子類售貨機 and Machine
(termFormat ChineseLanguage Machine "机器")	chinese_format.kif 1060-1060
(termFormat EnglishLanguage Machine "machine")	english_format.kif 1331-1331
(termFormat FrenchLanguage Machine "machine")	french_format.kif 738-738
(termFormat Hindi Machine "yantra")	terms-hindi.txt 269-269
(termFormat ItalianLanguage Machine "Macchinario")	terms-it.txt 272-272
(termFormat JapaneseLanguage Machine "機械")	japanese_format.kif 2422-2422
(termFormat PortugueseLanguage Machine "Maquina")	portuguese_format.kif 690-690
(termFormat cb Machine "makina")	terms-cb.txt 274-274
(termFormat cz Machine "machine")	terms-cz.txt 308-308
(termFormat ro Machine "maºinã")	relations-ro.kif 759-759
(termFormat tg Machine "makina")	terms-tg.txt 273-273

antecedent

(=> (instance ?MACHINE Machine) (exists (?COMP1 ?COMP2) (and (instance ?COMP1 EngineeringComponent) (instance ?COMP2 EngineeringComponent) (not (equal ?COMP1 ?COMP2)) (part ?COMP1 ?MACHINE) (part ?COMP2 ?MACHINE))))	Merge.kif 16073-16081	例 Object and Machine Object Object 例 Object and EngineeringComponent 例 Object and EngineeringComponent 等於 Object and Object 部分 Object and Object 部分 Object and Object
(=> (instance ?MACHINE Machine) (forall (?PROC) (=> (instrument ?PROC ?MACHINE) (exists (?RESOURCE ?RESULT) (and (resource ?PROC ?RESOURCE) (result ?PROC ?RESULT))))))	Merge.kif 16046-16054	例 Object and Machine Process 儀器 Process and Object Object Entity 資源 Process and Object 結果 Process and Entity

consequent

(=> (and (instance ?LANG ComputerLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (instance ?AGENT Machine))	Merge.kif 1439-1444	例 Object and ComputerLanguage agent Process and AutonomousAgent 儀器 Process and Object 例 AutonomousAgent and Machine
(=> (and (instance ?ORG Organization) (attribute ?ORG ComputerAndElectronicProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Computer) (and (instance ?THING Machine) (exists (?EV3 ?ELEC) (and (patient ?EV3 ?THING) (resource ?EV3 ?ELEC) (instance ?ELEC Electricity))))) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 5126-5150	例 Collection and Organization attribute Collection and 計算機和電子產品製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and 電腦例 Entity and Machine AutonomousAgent Object 患者 AutonomousAgent and Entity 資源 AutonomousAgent and Object 例 Object and 電力患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG ElectricalEquipmentApplianceAndComponentManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (and (instance ?THING Machine) (exists (?EV3 ?ELEC) (and (patient ?EV3 ?THING) (resource ?EV3 ?ELEC) (instance ?ELEC Electricity)))) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 5421-5443	例 Collection and Organization attribute Collection and 電氣設備器具和元件製造 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and Machine AutonomousAgent Object 患者 AutonomousAgent and Entity 資源 AutonomousAgent and Object 例 Object and 電力患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
(=> (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	例 Collection and Organization attribute Collection and 機械製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and Machine 患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
(=> (attribute ?M CoinOperated) (instance ?M Machine))	Mid-level-ontology.kif 29470-29472	attribute Object and CoinOperated 例 Object and Machine

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: