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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postDistrict

 Sigma KEE - postDistrict
postDistrict

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


(documentation postDistrict EnglishLanguage "(postDistrict ?PostalPlace ?StateOrProvince) means that ?PostalPlace is located in ?StateOrProvince.") Mid-level-ontology.kif 24800-24802
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24797-24797 Il numero 1 argomenti di postDistrict è un istanza di PostalPlace
(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 24798-24798 Il numero 2 argomenti di postDistrict è un istanza di StatoOProvincia
(instance postDistrict AsymmetricRelation) Mid-level-ontology.kif 24795-24795 postDistrict è un' istanza di RelazioneAsimmetrica
(instance postDistrict BinaryPredicate) Mid-level-ontology.kif 24796-24796 postDistrict è un' istanza di PredicatoBinario
(subrelation postDistrict located) Mid-level-ontology.kif 24799-24799 postDistrict è una sottorelazione di located

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


(format ChineseLanguage postDistrict "%1 是在 %2 ") domainEnglishFormat.kif 4162-4162
(format ChineseTraditionalLanguage postDistrict "%1 是在 %2 ") domainEnglishFormat.kif 4161-4161
(format EnglishLanguage postDistrict "%1 is in %2") domainEnglishFormat.kif 4160-4160
(termFormat EnglishLanguage postDistrict "post district") domainEnglishFormat.kif 65908-65908

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24804-24809 PostalPlace è localizzato in StatoOProvincia PostalPlace è un' istanza di PostalPlace StatoOProvincia è un' istanza di StatoOProvincia postDistrict PostalPlace and StatoOProvincia
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))		 Mid-level-ontology.kif 24779-24784
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))		 Mid-level-ontology.kif 24747-24752
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24861-24866


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

Show without tree


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