|
|
   Hemisphere
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3463-3466 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1802-1802 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3462-3462 | Hemisphere e' uma sub-classe de Area Geografica |
| appearance as argument number 2 |
|
|
| 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 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3488-3494 | Entidade e' uma instancia de Hemisphere Entidade e' igual a NorthernHemisphere Entidade e' igual a SouthernHemisphere Entidade e' igual a EasternHemisphere Entidade e' igual a WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3468-3470 |
|
|
|
