Aerosal
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7537-7538 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7534-7535 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7543-7543 | 气溶胶 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7542-7542 | 气溶胶 是 混合气体 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7541-7541 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7540-7540 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2537-2550 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7545-7554 |