KelvinDegree(凯文度)

-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29342-29342 950.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29296-29296 3506.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29230-29230 2676.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29232-29232 3103.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29326-29326 3213.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29312-29312 5673.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29172-29172 4.216 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29302-29302 2993.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29170-29170 20.28 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29266-29266 2353.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29274-29274 457.55 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29322-29322 4403.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29220-29220 3023.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29240-29240 120.85 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29282-29282 3727.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29332-29332 2013.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29174-29174 1590.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29310-29310 3588.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29192-29192 1380.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29218-29218 2370.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29328-29328 629.73 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29252-29252 5833.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29288-29288 3400.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29188-29188 27.1 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29354-29354 4175.0 凯文度boiling

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners