PahlavaniLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 556-558 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 553-555 | |
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 551-551 | 气旋风暴 是 低压天气系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 552-552 | 气旋风暴 是 风暴 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4677-4677 | 气旋风暴 是区域 南部海洋 的 natural 有害类别 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1649-1649 | 龙卷风 是 气旋风暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 605-605 | 热带氣旋系统 是 气旋风暴 的 subclass |
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 600-600 | 最大风速半径 的 1 数量 是 气旋风暴 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 572-577 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 560-570 |