| Fact | |
| appearance as argument number 1 |
|
|
| (documentation Fact EnglishLanguage "The class of Statements that are True.") | Mid-level-ontology.kif 13710-13710 | |
| (subclass Fact Statement) | Mid-level-ontology.kif 13709-13709 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Fact "事实") | domainEnglishFormat.kif 23121-23121 | |
| (termFormat ChineseTraditionalLanguage Fact "事實") | domainEnglishFormat.kif 23120-23120 | |
| (termFormat EnglishLanguage Fact "fact") | domainEnglishFormat.kif 23119-23119 |
| antecedent |
|
|
| (=> (instance ?FACT Fact) (truth ?FACT True)) |
Mid-level-ontology.kif 13712-13714 |
|
|
|