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 | VolcanicEruption e' uma sub-classe de GeologicalProcess |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6768-6768 | VolcanicGasRelease e' uma sub-classe de VolcanicEruption |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61895-61895 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61894-61894 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61893-61893 |
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 |
|