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 |
route in system is a subrelation of path in system |
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 |
|