| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1651-1651 |
例 巴揚語言 and 基於東南大西洋英語的克里奧爾語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1662-1662 |
例 圭亞那克里奧爾語英語 and 基於東南大西洋英語的克里奧爾語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1682-1682 |
例 背風加勒比克里奧爾語英語 and 基於東南大西洋英語的克里奧爾語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1712-1712 |
例 tobagonian 克里奧爾語 and 基於東南大西洋英語的克里奧爾語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1723-1723 |
例 特立尼達克里奧爾語英語 and 基於東南大西洋英語的克里奧爾語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1732-1732 |
例 維爾京群島克里奧爾語英語 and 基於東南大西洋英語的克里奧爾語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1750-1750 |
例 迎風加勒比克里奧爾語英語 and 基於東南大西洋英語的克里奧爾語 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54102-54102 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54101-54101 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54100-54100 |
|
CementManufacturing