RedFlagSwimmingCondition |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1389-1390 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1392-1392 | 例 RedFlagSwimmingCondition and RelationalAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65397-65397 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1394-1401 |
|