Manufacture

-------------------------


(=>
    (instance ?PRODUCT Product)
    (exists (?MANUFACTURE)
        (and
            (instance ?MANUFACTURE Manufacture)
            (result ?MANUFACTURE ?PRODUCT))))
Merge.kif 14576-14581


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