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

Formal Language: 



Term 1: Term 2:

(subclass AirportClassification RelationalAttribute) Transportation.kif 1338-1338 AirportClassification ist eine teilkategorie von RelationalAttribute
(subclass AirportByRunwaySurface AirportClassification) Transportation.kif 1347-1347 AirportByRunwaySurface ist eine teilkategorie von AirportClassification
(subclass CIAAirportLengthClassification AirportClassification) Transportation.kif 1380-1380 CIAAirportLengthClassification ist eine teilkategorie von AirportClassification


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