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

Formal Language: 



Term 1: Term 2:

(subclass Rock Substance) Mid-level-ontology.kif 17904-17904
(subclass Coal Rock) Geography.kif 2019-2019
(subclass Marble Rock) Geography.kif 4449-4449
(subclass Stone Rock) Geography.kif 4471-4471
(subclass Pebble Rock) Geography.kif 7263-7263
(subclass Cobble Rock) Geography.kif 7286-7286
(subclass Boulder Rock) Geography.kif 7309-7309


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