Solid |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31501-31501 | roomTempState Caesium and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31568-31568 | roomTempState Caffeine and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31466-31466 | roomTempState Calcium and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31569-31569 | roomTempState Cannabis and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31451-31451 | roomTempState Carbon and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31504-31504 | roomTempState Cerium and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31397-31397 | roomTempState Charcoal and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31573-31573 | roomTempState ChemicalSalt and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31579-31579 | roomTempState Chromite and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31470-31470 | roomTempState Chromium and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31580-31580 | roomTempState Ciprofloxacin and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31395-31395 | roomTempState Coal and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31473-31473 | roomTempState Cobalt and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31411-31411 | roomTempState Cobble and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31581-31581 | roomTempState Cocaine and Solid |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2489-2489 | roomTempState CocoaButter and Solid |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2442-2442 | roomTempState CocoaLiquor and Solid |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2481-2481 | roomTempState CocoaSolid and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31583-31583 | roomTempState Conotoxin and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31475-31475 | roomTempState Copper and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31584-31584 | roomTempState CopperOre and Solid |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3140-3140 | roomTempState Curd and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31542-31542 | roomTempState Curium and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31452-31452 | roomTempState Diamond and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31589-31589 | roomTempState Dimercaprol and Solid |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |