TreeView Knowledge Base Browser

appearance as argument number 2

(format ChineseLanguage postDistrict "%1 是在 %2 ")	domainEnglishFormat.kif 4162-4162
(format ChineseTraditionalLanguage postDistrict "%1 是在 %2 ")	domainEnglishFormat.kif 4161-4161
(format EnglishLanguage postDistrict "%1 is in %2")	domainEnglishFormat.kif 4160-4160
(termFormat EnglishLanguage postDistrict "post district")	domainEnglishFormat.kif 65906-65906

consequent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24746-24751	位於 PostalPlace and StateOrProvince 例 PostalPlace and PostalPlace 例 StateOrProvince and StateOrProvince PostalPlace 是在 StateOrProvince
(=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (instance ?AREA StateOrProvince)) (postDistrict ?PLACE ?AREA))	Mid-level-ontology.kif 24721-24726	PostalPlace 是在 City City 是 StateOrProvince 的 geographic 次要地區例 StateOrProvince and StateOrProvince PostalPlace 是在 StateOrProvince
(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?STATE) (instance ?STATE StateOrProvince)) (postDistrict ?PLACE ?STATE))	Mid-level-ontology.kif 24689-24694	PostalPlace 是在 Neighborhood Neighborhood 是 StateOrProvince 的 geographic 次要地區例 StateOrProvince and StateOrProvince PostalPlace 是在 StateOrProvince
(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?GEO) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24803-24808	PostalPlace 是在 post code PostcodeArea PostcodeArea 是 StateOrProvince 的 geographic 次要地區例 StateOrProvince and StateOrProvince PostalPlace 是在 StateOrProvince