VolcanicEruption
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2433-2434 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3272-3272 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3028-3028 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3273-3273 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3270-3270 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2431-2431 | Volcanic eruption is a subclass of geological process |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6768-6768 | Volcanic gas release is a subclass of volcanic eruption |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61893-61893 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61892-61892 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61891-61891 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1865-1870 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2443-2448 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2436-2441 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4071-4076 |
|