Machines are Devices that that have a
well-defined resource and result and that automatically convert
the resource into the result.
SUMO / OBJECTS
Related WordNet synsets
See more related synsets on a separate page.
- by machine
- with the use of a machine; "the shirt is sewn by machine"
If lang is an instance of computer language and proc is an agent of agent and lang is an instrument for proc, then agent is an instance of machine.
(instance ?LANG ComputerLanguage)
(agent ?PROC ?AGENT)
(instrument ?PROC ?LANG))
(instance ?AGENT Machine))
- if machine is an instance of machine,
- then for all proc holds: if machine is an instrument for proc, then there exist resource,result so that resource is a resource for proc and result is a result of proc.
(instance ?MACHINE Machine)
(instrument ?PROC ?MACHINE)
(resource ?PROC ?RESOURCE)
(result ?PROC ?RESULT))))))