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

Formal Language: 



Term 1: Term 2:

(subclass CyclonicStorm LowPressureWeatherSystem) Weather.kif 551-551 CyclonicStorm ist eine teilkategorie von LowPressureWeatherSystem
(subclass CyclonicStorm Storm) Weather.kif 552-552 CyclonicStorm ist eine teilkategorie von Storm
(subclass TropicalCyclonicSystem CyclonicStorm) Weather.kif 605-605 TropicalCyclonicSystem ist eine teilkategorie von CyclonicStorm
(subclass Tornado CyclonicStorm) Weather.kif 1649-1649 Tornado ist eine teilkategorie von CyclonicStorm


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