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 | Aerosal e' uma sub-classe de Colloid |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7542-7542 | Aerosal e' uma sub-classe de GasMixture |
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 2520-2533 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7545-7554 |