Vol-2517⫷ Vol-2518 ⫸Vol-2519
urn:nbn:de:0074-2518-0


Vol-2518/paper-FOMI5⫷Vol-2518/paper-FOMI6⫸Vol-2518/paper-FOMI7

A First-Order Logic Formalization of the Industrial Ontologies Foundry Signature Using Basic Formal Ontology