TreeView Knowledge Base Browser

appearance as argument number 1

(documentation postNeighborhood EnglishLanguage "(postNeighborhood ?PLACE ?NEIGHBORHOOD) means that ?PLACE is located in ?NEIGHBORHOOD")	Mid-level-ontology.kif 24670-24671
(domain postNeighborhood 1 PostalPlace)	Mid-level-ontology.kif 24672-24672	postNeighborhood 的 1 数量是 PostalPlace 的 instance
(domain postNeighborhood 2 Neighborhood)	Mid-level-ontology.kif 24673-24673	postNeighborhood 的 2 数量是 Neighborhood 的 instance
(instance postNeighborhood AsymmetricRelation)	Mid-level-ontology.kif 24668-24668	postNeighborhood 是非对称关系的 instance
(instance postNeighborhood BinaryPredicate)	Mid-level-ontology.kif 24667-24667	postNeighborhood 是二元谓语的 instance
(subrelation postNeighborhood located)	Mid-level-ontology.kif 24669-24669	postNeighborhood 是位于的 subrelation

appearance as argument number 2

(format ChineseLanguage postNeighborhood "%1 是在 %2 ")	domainEnglishFormat.kif 4166-4166
(format ChineseTraditionalLanguage postNeighborhood "%1 是在 %2 ")	domainEnglishFormat.kif 4165-4165
(format EnglishLanguage postNeighborhood "%1 is in %2")	domainEnglishFormat.kif 4164-4164
(termFormat EnglishLanguage postNeighborhood "post neighborhood")	domainEnglishFormat.kif 65907-65907

antecedent

(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY))	Mid-level-ontology.kif 24682-24687	如果 PostalPlace 是在 Neighborhood 和那个 Neighborhood 是城市的 geographic 次要地区和那个城市是城市的 instance，然后那个 PostalPlace 是在那个城市
(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?STATE) (instance ?STATE StateOrProvince)) (postDistrict ?PLACE ?STATE))	Mid-level-ontology.kif 24689-24694	如果 PostalPlace 是在 Neighborhood 和那个 Neighborhood 是州或省的 geographic 次要地区和那个州或省是州或省的 instance，然后那个 PostalPlace 是在那个州或省

consequent

(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))

Mid-level-ontology.kif 24675-24680