HeartAfghanistan PerinealBranchOfPudendalNerveS2S3S4
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1787-1787 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5258-5258 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5260-5260 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5259-5259 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5122-5122 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2915-2915 | Heart afghanistan is a geographic subregion of afghanistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1786-1786 | Heart afghanistan is an instance of city |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2916-2916 | Heart afghanistan has name "Heart" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27780-27780 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27779-27779 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27778-27778 |