No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3480-3480 |
例 東半球 and 半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3472-3472 |
例 北半球 and 半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3476-3476 |
例 南半球 and 半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3484-3484 |
例 西半球 and 半球 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27915-27915 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27914-27914 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27913-27913 |
|