No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4041-4041 |
Rock is a ground subsurface type of mountain |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4040-4040 |
Rock is a ground surface type of mountain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1809-1809 |
Rock is an industry product type of stone mining and quarrying |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7309-7309 |
Boulder is a subclass of rock |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2019-2019 |
Coal is a subclass of rock |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7286-7286 |
Cobble is a subclass of rock |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4449-4449 |
Marble is a subclass of rock |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7263-7263 |
Pebble is a subclass of rock |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4471-4471 |
Stone is a subclass of rock |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50222-50222 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50221-50221 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50220-50220 |
|