|
|
   ReferenceBook
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14915-14918 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2919-2919 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2729-2729 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14913-14913 | 子類 參考書 and Book |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14914-14914 | 子類 參考書 and 事實文本 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14920-14920 | 子類 字典 and 參考書 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1841-1841 | 子類 JOPES手冊 and 參考書 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1648-1648 | 子類 TPFDD文件 and 參考書 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49100-49100 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49099-49099 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49098-49098 |
|
|
|
