No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1915-1915 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1914-1914 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1913-1913 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2745-2745 |
系统路线 是 系统中的路径 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44778-44778 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44777-44777 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44776-44776 |
|