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 postCity の数値 1 引数は PostalPlaceinstance では
(domain postCity 2 City) Mid-level-ontology.kif 26419-26419 postCity の数値 2 引数は 都市instance では
(instance postCity AsymmetricRelation) Mid-level-ontology.kif 26416-26416 postCity非対称関係instance では
(instance postCity BinaryPredicate) Mid-level-ontology.kif 26417-26417 postCity2進述語instance では
(subrelation postCity located) Mid-level-ontology.kif 26420-26420 postCitylocatedsubrelation では

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 都市located して PostalPlacePostalPlaceinstance では 都市都市instance では postCity PostalPlace and 都市
(=>
    (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