BriefGPT.xyz
Mar, 2023
将建议的上位合并本体转换为带类型的一阶形式
Converting the Suggested Upper Merged Ontology to Typed First-order Form
HTML
PDF
Adam Pease
TL;DR
该研究将Suggested Upper Merged Ontology (SUMO)翻译成Typed First-order Form (TFF)，并详细描述了为处理显式类型逻辑所需的转换和如何用符合其预期语义和TFF中允许的三种数字类表达SUMO的类型层次结构，还提供了开源代码和在Vampire上的示例证明。
Abstract
We describe the translation of the Suggested Upper Merged Ontology (
sumo
) to Typed First-order Form (
tff
) with level 0
polymorphism
. Build
→