| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2869-2871 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2865-2868 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2872-2872 | Storm est une sous-classe de WeatherProcess |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2600-2600 | Blizzard est une sous-classe de Storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 541-541 | CyclonicStorm est une sous-classe de Storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1237-1237 | DustStorm est une sous-classe de Storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2919-2919 | Snowstorm est une sous-classe de Storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1235-1235 | Squall est une sous-classe de Storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 827-827 | Thunderstorm est une sous-classe de Storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1631-1631 | Tornado est une sous-classe de Storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1226-1226 | Windstorm est une sous-classe de Storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2874-2874 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2873-2873 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2888-2897 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2899-2912 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2876-2886 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners