No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6677-6677 |
子類 草原 and 草原 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6671-6671 |
子類 草原 and 草原 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6687-6687 |
子類 稀樹草原 and 草原 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6713-6713 |
子類 大草原 and 草原 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26496-26496 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26495-26495 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26494-26494 |
|