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

Formal Language: 



Term 1: Term 2:

(subclass Method Procedure) engineering.kif 1161-1161 Method ist eine teilkategorie von Procedure
(subclass MathematicalMethod Method) engineering.kif 1165-1165 MathematicalMethod ist eine teilkategorie von Method
(subclass Technique Method) engineering.kif 1185-1185 Technique ist eine teilkategorie von Method
(subclass ElectricalEngineeringMethod Method) engineering.kif 1190-1190 ElectricalEngineeringMethod ist eine teilkategorie von Method
(subclass ControlDesignMethod Method) engineering.kif 1228-1228 ControlDesignMethod ist eine teilkategorie von Method


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