Follow
Converting the Suggested Upper Merged Ontology to Typed First-order Form. (arXiv:2303.04148v1 [cs.AI]) http://arxiv.org/abs/2303.04148
Converting the Suggested Upper Merged Ontology to Typed First-order Form. (arXiv:2303.04148v1 [cs.AI]) http://arxiv.org/abs/2303.04148