PlanetEarth | ![]() |
appearance as argument number 1 |
![]() |
(instance PlanetEarth Planet) | Geography.kif 3564-3564 | PlanetEarth は Planet の instance では |
(orbits PlanetEarth Sol) | Geography.kif 3565-3565 | orbits PlanetEarth and Sol |
appearance as argument number 2 |
![]() |
(orbits EarthsMoon PlanetEarth) | Geography.kif 3557-3557 | orbits EarthsMoon and PlanetEarth |
(termFormat ChineseLanguage PlanetEarth "行星地球") | domainEnglishFormat.kif 46040-46040 | orbits EarthsMoon and PlanetEarth |
(termFormat ChineseTraditionalLanguage PlanetEarth "行星地球") | domainEnglishFormat.kif 46039-46039 | orbits EarthsMoon and PlanetEarth |
(termFormat EnglishLanguage PlanetEarth "planet earth") | domainEnglishFormat.kif 46038-46038 | orbits EarthsMoon and PlanetEarth |
antecedent |
![]() |
(=> (and (instance ?place UndergroundArea) (instance ?U UnitOfLength) (earthAltitude ?place (MeasureFn ?alt1 ?U)) (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below) (earthAltitude ?area (MeasureFn ?alt2 ?U))) (greaterThan ?alt2 ?alt1)) |
Geography.kif 4239-4250 |
|
consequent |
![]() |
![]() |
![]() |