No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3480-3480 |
EasternHemisphere e' uma instancia de Hemisphere |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3472-3472 |
NorthernHemisphere e' uma instancia de Hemisphere |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3476-3476 |
SouthernHemisphere e' uma instancia de Hemisphere |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3484-3484 |
WesternHemisphere e' uma instancia de Hemisphere |
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 |
|