No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27424-27424 |
atomicNumber Neon and 10 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29200-29200 |
boilingPoint Neon and 27.1 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27432-27437 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1864-1864 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2265-2265 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29199-29199 |
meltingPoint Neon and 24.48 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27422-27422 |
"Neon" se chama nome Neon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31460-31460 |
roomTempState Neon and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27421-27421 |
Neon e' uma sub-classe de Substancia Elementar |