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
Wenn
voltageMeasure
PowerSource
and
PhysicalQuantity
,
dann es gibt
Physical
und
Process
um
** Physical
ist ein
fall
von
Electricity
%n{nicht} und
** Process
ist ein
fall
von
Process
%n{nicht} und
** PowerSource
ist ein
instrument
fuer
** Process
%n{nicht} und
** Physical
ist ein
resultat
von
** Process
%n{nicht} und das
mass
von
** Physical
ist
** PhysicalQuantity
%n{nicht}
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