No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27905-27905 |
atomicNumber Krypton and 36 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29303-29303 |
boilingPoint Krypton and 120.85 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27913-27920 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2244-2244 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1828-1828 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1151-1151 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29302-29302 |
meltingPoint Krypton and 116.55 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27903-27903 |
"Krypton" se chama nome Krypton |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31518-31518 |
roomTempState Krypton and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27902-27902 |
Krypton e' uma sub-classe de Substancia Elementar |