|
|
   SuperiorBranchOfOculomotorNerveCNIII
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 557-559 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 554-556 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1082-1082 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 552-552 | Cyclonic storm is a subclass of low pressure weather system |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 553-553 | Cyclonic storm is a subclass of storm |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4677-4677 | Cyclonic storm is a natural hazard type in area of southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1645-1645 | Tornado is a subclass of cyclonic storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 601-601 | Tropical cyclonic system is a subclass of cyclonic storm |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18276-18276 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18275-18275 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18274-18274 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 596-596 | The number 1 argument of radius of maximum wind is an instance of cyclonic storm |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 568-573 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 561-566 |
|
|
|
|
