|
|
   Longitude
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 316-319 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1491-1491 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 311-311 | Longitude e' uma sub-classe de Regiao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 312-312 | Longitude se chama nome "longitude" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 313-313 | Longitude se chama nome "meridian" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34991-34991 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34990-34990 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34989-34989 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 326-326 | O argumento numero 3 de objectGeographicCoordinates e' uma instancia de Longitude |
|
|
|
