machine (Machine)

Machines are Devices that that have a well-defined resource and result and that automatically convert the resource into the result.

Ontology

SUMO / OBJECTS

Superclass(es)

entity

physical

object

self connected object

corpuscular object

artifact

device

machine

Coordinate term(s)

engineering component musical instrument transportation device weapon

Related WordNet synsets

by machine: with the use of a machine; "the shirt is sewn by machine"

See more related synsets on a separate page.

Axioms (2)

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.

(=>
      (and
            (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)
      (forall
            (?PROC)
            (=>
                  (instrument ?PROC ?MACHINE)
                  (exists
                        (?RESOURCE ?RESULT)
                        (and
                              (resource ?PROC ?RESOURCE)
                              (result ?PROC ?RESULT))))))