|
|
   Raining
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1032-1033 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1028-1030 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2326-2326 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1946-1946 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2325-2325 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1026-1026 | Raining est une sous-classe de Precipitation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2493-2493 | AcidRainfall est une sous-classe de Raining |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2784-2784 | Drizzling est une sous-classe de Raining |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1091-1091 | HeavyRaining est une sous-classe de Raining |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2846-2846 | RainShowering est une sous-classe de Raining |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48694-48694 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1035-1035 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48693-48693 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48692-48692 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2948-2953 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1037-1039 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1041-1054 |
| consequent |
|
|
|
|
|
