![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5061-5063 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3012-3012 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5059-5059 | 子類 潮汐 and 沿岸流動 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58034-58034 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58033-58033 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58032-58032 |
![]() |
![]() |