Loading AI tools
Found in articles
General Formal Ontology）（General Formal Ontology，GFO）、OpenCyc/Cyc、推荐上层合并本体（英语：Suggested Upper Merged Ontology）（Suggested Upper Merged Ontology，SUMO）以及DOLCE
常识知识库
启心常识（Open Mind Common Sense） 基本的形式化的知识本体（Basic Formal Ontology （页面存档备份，存于互联网档案馆） 一般的形式化的知识本体（General Formal Ontology （页面存档备份，存于互联网档案馆）） 概念网络（ConceptNet （页面存档备份，存于互联网档案馆））[1]
邏輯真理
第778页 Quine, Willard Van Orman, Philosophy of logic 扎尔塔, 爱德华·N (编). Logical Truth. 《斯坦福哲学百科全书》. 邏輯真理，Indiana Philosophy Ontology Project PhilPapers上的邏輯真理
Thomson Wadsworth. 2008: 1. ISBN 978-0-495-50383-5. Hofweber, T. Logic and Ontology. Zalta, Edward N (编). Stanford Encyclopedia of Philosophy. 2004 [2006-01-20]
PhilPapers上的亚里士多德 2553 亚里士多德，Indiana Philosophy Ontology Project At the Internet Encyclopedia of Philosophy: Aristotle (general article) Biology Ethics Logic Metaphysics