No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10599-10599 |
科西嘉群岛语言 是 南方浪漫语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10627-10627 |
撒丁岛语 是 南方浪漫语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54254-54254 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54253-54253 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54252-54252 |
|