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

Formal Language: 



Term 1: Term 2:

(=>
    (instance ?BERG Iceberg)
    (exists (?SHEET)
        (and
            (subclass ?SHEET Glacier)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?BERG))
                (material ?SHEET ?BERG)))))		 Geography.kif 4732-4740
(subclass Glacier LandForm) Geography.kif 5998-5998 Glacier ist eine teilkategorie von LandForm


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