![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6012-6012 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6509-6509 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6510-6510 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6511-6511 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3280-3280 | 子屬性 大副 and 船友 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23960-23960 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23959-23959 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23958-23958 |
![]() |
![]() |