No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8523-8523 |
古希腊语 是 阁楼希腊语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8531-8531 |
卡帕多西亚希腊语 是 阁楼希腊语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8545-8545 |
希腊语 是 阁楼希腊语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8584-8584 |
Pontic希腊语 是 阁楼希腊语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8601-8601 |
罗马希腊语 是 阁楼希腊语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8608-8608 |
Yevanic希腊语 是 阁楼希腊语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8994-8994 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8993-8993 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8992-8992 |
|