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 16139-16141
(externalImage Machine "http://upload.wikimedia.org/wikipedia/commons/b/ b3/ USDA_windmills.jpg")	pictureList.kif 11405-11405
(subclass Machine Device)	Merge.kif 16138-16138	Machine is a subclass of device

appearance as argument number 2

(disjoint Furniture Machine)	Mid-level-ontology.kif 3777-3777	Furniture is disjoint from machine
(industryProductType MachineryManufacturing Machine)	Economy.kif 1784-1784	Machine is an industry product type of machinery manufacturing
(subclass AirConditioningCondenser Machine)	Cars.kif 2029-2029	Air conditioning condenser is a subclass of machine
(subclass AirConditioningEvaporator Machine)	Cars.kif 2053-2053	Air conditioning evaporator is a subclass of machine
(subclass GasCompressor Machine)	Cars.kif 5229-5229	Compressor is a subclass of machine
(subclass Generator Machine)	Cars.kif 1190-1190	Generator is a subclass of machine
(subclass IceMachine Machine)	Mid-level-ontology.kif 26630-26630	Ice machine is a subclass of machine
(subclass Lathe Machine)	Economy.kif 6196-6196	Lathe is a subclass of machine
(subclass Motor Machine)	engineering.kif 741-741	Motor is a subclass of machine
(subclass Planer Machine)	Economy.kif 6223-6223	Planer is a subclass of machine
(subclass Robot Machine)	engineering.kif 991-991	Robot is a subclass of machine
(subclass VendingMachine Machine)	Mid-level-ontology.kif 2020-2020	Vending machine is a subclass of machine
(termFormat ChineseLanguage Machine "机器")	chinese_format.kif 1060-1060	Vending machine is a subclass of machine
(termFormat EnglishLanguage Machine "machine")	english_format.kif 1331-1331	Vending machine is a subclass of machine
(termFormat FrenchLanguage Machine "machine")	french_format.kif 738-738	Vending machine is a subclass of machine
(termFormat Hindi Machine "yantra")	terms-hindi.txt 269-269	Vending machine is a subclass of machine
(termFormat ItalianLanguage Machine "Macchinario")	terms-it.txt 272-272	Vending machine is a subclass of machine
(termFormat JapaneseLanguage Machine "機械")	japanese_format.kif 2422-2422	Vending machine is a subclass of machine
(termFormat PortugueseLanguage Machine "Maquina")	portuguese_format.kif 690-690	Vending machine is a subclass of machine
(termFormat cb Machine "makina")	terms-cb.txt 274-274	Vending machine is a subclass of machine
(termFormat cz Machine "machine")	terms-cz.txt 308-308	Vending machine is a subclass of machine
(termFormat de Machine "Maschine")	terms-de.txt 567-567	Vending machine is a subclass of machine
(termFormat ro Machine "maºinã")	relations-ro.kif 759-759	Vending machine is a subclass of machine
(termFormat tg Machine "makina")	terms-tg.txt 273-273	Vending machine is a subclass of machine

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 16170-16178	If an object is an instance of machine, then there exist another object and a third object such that the other object is an instance of engineering component and the third object is an instance of engineering component and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=> (instance ?MACHINE Machine) (forall (?PROC) (=> (instrument ?PROC ?MACHINE) (exists (?RESOURCE ?RESULT) (and (resource ?PROC ?RESOURCE) (result ?PROC ?RESULT))))))	Merge.kif 16143-16151	If an object is an instance of machine, then for all a process if the object is an instrument for the process, then there exist another object and an entity such that the other object is a resource for the process and the entity is a result of the process

consequent

(=> (and (instance ?LANG ComputerLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (instance ?AGENT Machine))	Merge.kif 1432-1437	If an object is an instance of computer language and an agent is an agent of a process and the object is an instrument for the process, then the agent is an instance of 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	If a collection is an instance of organization and computer and electronic product 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 computer or the entity is an instance of machine and there exist the agent3 and an object such that the entity is a patient of the agent3 and the object is a resource for the agent3 and the object is an instance of electricity 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
(=> (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	If a collection is an instance of organization and electrical equipment appliance and component 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 machine and there exist the agent3 and an object such that the entity is a patient of the agent3 and the object is a resource for the agent3 and the object is an instance of electricity 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
(=> (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	If a collection is an instance of organization and machinery 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 machine 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
(=> (attribute ?M CoinOperated) (instance ?M Machine))	Mid-level-ontology.kif 30585-30587	If coin operated is an attribute of an object, then the object is an instance of machine
(=> (instance ?X ElectroMechanicalFitting) (hasPurpose ?X (exists (?M ?E ?D) (and (instance ?M Motion) (instance ?E Electricity) (resource ?M ?E) (instrument ?M ?X) (patient ?M ?D) (instance ?D Machine)))))	engineering.kif 939-949	If a physical is an instance of electromechanical fitting, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of motion and the other entity is an instance of electricity and the other entity is a resource for the entity and the physical is an instrument for the entity and the third entity is a patient of the entity and the third entity is an instance of 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: