![]() |
![]() ![]()
|
![]() |
|
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 | 拉德 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 853-853 | 拉德 是 测量单位 的 instance |
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 |
![]() |
![]() |