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

Formal Language: 



Term 1: Term 2:

(subclass NonlinearEquation Equation) engineering.kif 164-164 NonlinearEquation ist eine teilkategorie von Equation
(subclass BesselsEquation NonlinearEquation) engineering.kif 195-195 BesselsEquation ist eine teilkategorie von NonlinearEquation
(subclass VanderpolsEquation NonlinearEquation) engineering.kif 200-200 VanderpolsEquation ist eine teilkategorie von NonlinearEquation


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