Rad
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 855-856 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11729-11729 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11728-11728 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10218-10218 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 854-854 | 例 拉德 and CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 853-853 | 例 拉德 and UnitOfMeasure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48410-48410 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48409-48409 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48408-48408 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 862-866 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 858-860 |
|