Process
(工程)
(=>
(
voltageMeasure
?OBJ ?MEAS)
(
exists
(?ELEC ?PROC)
(
and
(
instance
?ELEC
Electricity
)
(
instance
?PROC
Process
)
(
instrument
?PROC ?OBJ)
(
result
?PROC ?ELEC)
(
measure
?ELEC ?MEAS))))
Mid-level-ontology.kif 26376-26384
voltageMeasure
PowerSource
and
物理量
物理
工程
物理
は
Electricity
の
instance
では %n
工程
は
工程
の
instance
では %n
PowerSource
は
工程
の
instrument
では %n
物理
は
工程
の
result
では %n
物理
の
measure
は
物理量
では %n
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