![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1500-1501 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10204-10204 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1498-1498 | 美国总统 是 地位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1499-1499 | 美国总统 是 主席 的 subAttribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47252-47252 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47251-47251 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47250-47250 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1503-1505 |
![]() |
![]() |