| EarthsMoon(earths moon)
| | Moon, moon |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3388-3388 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 132-132 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3386-3386 | Earths moon is an instance of moon |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3387-3387 | Planet earth is an orbits of earths moon |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20823-20823 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20822-20822 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20821-20821 |
|
|
|