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 26421-26423
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 26418-26418 Le nombre 1 argument de postCity est une instance de PostalPlace
(domain postCity 2 City) Mid-level-ontology.kif 26419-26419 Le nombre 2 argument de postCity est une instance de ville
(instance postCity AsymmetricRelation) Mid-level-ontology.kif 26416-26416 postCity est une instance de relation asym�trique
(instance postCity BinaryPredicate) Mid-level-ontology.kif 26417-26417 postCity est une instance de pr�dicat binaire
(subrelation postCity located) Mid-level-ontology.kif 26420-26420 postCity est une sous-relation de located

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


(format ChineseLanguage postCity "%1 是在 %2 ") domainEnglishFormat.kif 4154-4154
(format ChineseTraditionalLanguage postCity "%1 是在 %2 ") domainEnglishFormat.kif 4153-4153
(format EnglishLanguage postCity "%1 is in %2") domainEnglishFormat.kif 4152-4152
(termFormat EnglishLanguage postCity "post city") domainEnglishFormat.kif 65921-65921

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


(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))
Mid-level-ontology.kif 26384-26389
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 26391-26398

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 26425-26430 PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace ville est une instance de ville postCity PostalPlace and ville
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 26345-26350
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 26459-26464


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