(=>     (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