No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6677-6677 |
草原 是 草原 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6671-6671 |
草原 是 草原 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6687-6687 |
稀树草原 是 草原 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6713-6713 |
大草原 是 草原 的 subclass |
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 |
|