|
|
   PortugueseBasedCreoleLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2590-2592 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11645-11645 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10197-10197 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2589-2589 | 基于葡萄牙语的克里奥尔语 是 克里奥尔语 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2595-2595 | Angolar语言 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2613-2613 | Cafundo克里奥尔语 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2623-2623 | FaDAmbu 语言 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2648-2648 | Indo葡萄牙语 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2669-2669 | Kabuverdianu语言 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2690-2690 | Korlai creole 葡萄牙语 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2726-2726 | 马克思语 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2701-2701 | 马六甲克里奥尔语葡萄牙语 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2736-2736 | Principense语言 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2748-2748 | Saotomense语言 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2765-2765 | Ternateno语言 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2779-2779 | 帝汶语 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2787-2787 | 上几内亚克鲁瓦语 是 基于葡萄牙语的克里奥尔语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46766-46766 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46765-46765 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46764-46764 |
|
|
|
