No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8403-8403 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9025-9025 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9026-9026 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2966-2966 |
CarbonDioxideEmission est reli� � l'int�rieur de SUMO � VehicularPollution |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2569-2569 |
CarbonDioxideEmission est une sous-classe de separer |