EasternSouthAmerica Tranquility
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6448-6448 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6431-6431 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6432-6432 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6433-6433 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6434-6434 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6435-6435 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6436-6436 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6438-6438 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6439-6439 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6441-6441 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5976-5976 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6442-6442 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6443-6443 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6444-6444 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6445-6445 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6446-6446 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6447-6447 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 172-172 | 東南美洲 是 南美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 241-241 | 東南美洲 是 西半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 96-96 | 例 東南美洲 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 242-242 | 在空間上重疊 東南美洲 and 北半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 243-243 | 在空間上重疊 東南美洲 and 南半球 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 500-500 | 巴西 是 東南美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 127-127 | 名 "Eastern South America" and 東南美洲 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20946-20946 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20945-20945 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20944-20944 |