機器 (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)

實體

物質的

物體

自身連續物體

複雜體/非單質體

人造物

裝置

機器

Coordinate term(s)

工程元件樂器運輸工具武器

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 是電腦語言的實例 and proc 是 agent 的施事者 and lang 對 proc 是工具, then agent 是機器的實例.

(=>
      (and
            (instance ?LANG ComputerLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (instance ?AGENT Machine))

if machine 是機器的實例,
then for all proc holds: if machine 對 proc 是工具, then there exist resource,result so that resource 對 proc 是資源 and result 是 proc 的結果

(=>
      (instance ?MACHINE Machine)
      (forall
            (?PROC)
            (=>
                  (instrument ?PROC ?MACHINE)
                  (exists
                        (?RESOURCE ?RESULT)
                        (and
                              (resource ?PROC ?RESOURCE)
                              (result ?PROC ?RESULT))))))