TreeView Knowledge Base Browser

appearance as argument number 1

(documentation postPostcodeArea EnglishLanguage "(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea.")	Mid-level-ontology.kif 24784-24787
(domain postPostcodeArea 1 PostalPlace)	Mid-level-ontology.kif 24781-24781	O argumento numero 1 de postPostcodeArea e' uma instancia de PostalPlace
(domain postPostcodeArea 2 PostcodeArea)	Mid-level-ontology.kif 24782-24782	O argumento numero 2 de postPostcodeArea e' uma instancia de PostcodeArea
(instance postPostcodeArea AsymmetricRelation)	Mid-level-ontology.kif 24779-24779	postPostcodeArea e' uma instancia de Relacao Assimetrica
(instance postPostcodeArea BinaryPredicate)	Mid-level-ontology.kif 24780-24780	postPostcodeArea e' uma instancia de Predicado Binario
(subrelation postPostcodeArea located)	Mid-level-ontology.kif 24783-24783	postPostcodeArea e' uma sub-relacao de located

appearance as argument number 2

(format ChineseLanguage postPostcodeArea "%1 是在 post code %2 ")	domainEnglishFormat.kif 4170-4170
(format ChineseTraditionalLanguage postPostcodeArea "%1 是在 post code %2 ")	domainEnglishFormat.kif 4169-4169
(format EnglishLanguage postPostcodeArea "%1 is in post code %2")	domainEnglishFormat.kif 4168-4168
(termFormat EnglishLanguage postPostcodeArea "post postcode area")	domainEnglishFormat.kif 65909-65909

antecedent

(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY))	Mid-level-ontology.kif 24796-24801	postPostcodeArea PostalPlace and PostcodeArea geographicSubregion PostcodeArea and Cidade Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade
(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?GEO) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24803-24808	postPostcodeArea PostalPlace and PostcodeArea geographicSubregion PostcodeArea and Estado ou Provincia Estado ou Provincia e' uma instancia de Estado ou Provincia postDistrict PostalPlace and Estado ou Provincia

consequent

(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))

Mid-level-ontology.kif 24789-24794