Gravel
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4434-4435 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4430-4432 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 472-472 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31639-31639 | roomTempState 砾石 and 固体 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4440-4440 | 砾石 是 混合物 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26502-26502 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26501-26501 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26500-26500 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4442-4447 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4340-4353 |
|