Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - postCity
postCity

appearance as argument number 1
-------------------------


(documentation postCity EnglishLanguage "(postCity ?PostalPlace ?City) means that ?PostalPlace is located in ?City.") Mid-level-ontology.kif 24759-24761
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24756-24756 O argumento numero 1 de postCity e' uma instancia de PostalPlace
(domain postCity 2 City) Mid-level-ontology.kif 24757-24757 O argumento numero 2 de postCity e' uma instancia de Cidade
(instance postCity AsymmetricRelation) Mid-level-ontology.kif 24754-24754 postCity e' uma instancia de Relacao Assimetrica
(instance postCity BinaryPredicate) Mid-level-ontology.kif 24755-24755 postCity e' uma instancia de Predicado Binario
(subrelation postCity located) Mid-level-ontology.kif 24758-24758 postCity e' uma sub-relacao de located

appearance as argument number 2
-------------------------


(format ChineseLanguage postCity "%1 是在 %2 ") domainEnglishFormat.kif 4150-4150
(format ChineseTraditionalLanguage postCity "%1 是在 %2 ") domainEnglishFormat.kif 4149-4149
(format EnglishLanguage postCity "%1 is in %2") domainEnglishFormat.kif 4148-4148
(termFormat EnglishLanguage postCity "post city") domainEnglishFormat.kif 65903-65903

antecedent
-------------------------


(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))
Mid-level-ontology.kif 24722-24727
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 24729-24736

consequent
-------------------------


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 24763-24768 PostalPlace e' situado em Cidade PostalPlace e' uma instancia de PostalPlace Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 24683-24688
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 24797-24802


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners