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 is a subclass of colloid |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7542-7542 | Aerosal is a subclass of gas mixture |
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 |
|