No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14596-14598 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1853-1855 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1835-1837 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2650-2650 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2826-2826 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20-20 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24-24 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28-28 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 688-688 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 253-253 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36-36 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 682-682 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56-56 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2710-2710 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2722-2722 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 92-92 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2750-2750 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 346-346 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 208-208 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 220-220 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2846-2846 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |