No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14317-14317 |
Wappo语言 是 yuki组语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14324-14324 |
Yuki语言 是 yuki组语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63997-63997 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63996-63996 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63995-63995 |
|