MississippiRiver LeftFalseRib12Bone
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 744-744 | 密西西比河 和 GulfOfMexico 是 connected |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 741-743 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5145-5145 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5359-5359 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5357-5357 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5360-5360 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5356-5356 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5358-5358 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 739-739 | 密西西比河 是 河 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 740-740 | 密西西比河 是 美国 的 part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4242-4242 | 红河 是 密西西比河 的 part |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38049-38049 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38048-38048 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38047-38047 |