Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass MeasuringDevice Device) Merge.kif 15346-15346
(subclass Altimeter MeasuringDevice) MilitaryDevices.kif 1420-1420
(subclass Clock MeasuringDevice) Mid-level-ontology.kif 2816-2816
(subclass Thermometer MeasuringDevice) Mid-level-ontology.kif 2840-2840
(subclass PressureMeasuringDevice MeasuringDevice) Mid-level-ontology.kif 2852-2852
(subclass TestForm MeasuringDevice) Mid-level-ontology.kif 13816-13816
(subclass FeelerGauge MeasuringDevice) Cars.kif 2788-2788
(subclass Hydrometer MeasuringDevice) Cars.kif 3046-3046
(subclass MassAirflowSensor MeasuringDevice) Cars.kif 3297-3297
(subclass OxygenSensor MeasuringDevice) Cars.kif 3335-3335
(subclass Tachometer MeasuringDevice) Cars.kif 4017-4017
(subclass BimetalTemperatureSensor MeasuringDevice) Cars.kif 4066-4066
(subclass TorqueWrench MeasuringDevice) Cars.kif 4142-4142
(subclass VacuumGauge MeasuringDevice) Cars.kif 4241-4241


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