(=>     (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

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