Maryland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 986-987
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 583-583
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 981-981	马里兰是美国国家的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 982-982	马里兰接上北大西洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 983-983	马里兰接上弗吉尼亚州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 985-985	马里兰接上华盛顿特区美国
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 984-984	马里兰接上 WestVirginia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 920-920	Delaware 接上马里兰
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 714-714	巴尔的摩马里兰州是马里兰的 part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36365-36365
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36364-36364
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36363-36363