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 e' relacionado internamente por SUMO a VehicularPollution |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2569-2569 |
CarbonDioxideEmission e' uma sub-classe de Separar |