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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postNeighborhood

Sigma KEE - postNeighborhood
postNeighborhood

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


(documentation postNeighborhood EnglishLanguage "(postNeighborhood ?PLACE ?NEIGHBORHOOD) means that ?PLACE is located in ?NEIGHBORHOOD") Mid-level-ontology.kif 24671-24672
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24673-24673 postNeighborhood 的 1 数量 是 PostalPlaceinstance
(domain postNeighborhood 2 Neighborhood) Mid-level-ontology.kif 24674-24674 postNeighborhood 的 2 数量 是 Neighborhoodinstance
(instance postNeighborhood AsymmetricRelation) Mid-level-ontology.kif 24669-24669 postNeighborhood非对称关系instance
(instance postNeighborhood BinaryPredicate) Mid-level-ontology.kif 24668-24668 postNeighborhood二元谓语instance
(subrelation postNeighborhood located) Mid-level-ontology.kif 24670-24670 postNeighborhood位于subrelation

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


(format ChineseLanguage postNeighborhood "%1 是在 %2 ") domainEnglishFormat.kif 4166-4166
(format ChineseTraditionalLanguage postNeighborhood "%1 是在 %2 ") domainEnglishFormat.kif 4165-4165
(format EnglishLanguage postNeighborhood "%1 is in %2") domainEnglishFormat.kif 4164-4164
(termFormat EnglishLanguage postNeighborhood "post neighborhood") domainEnglishFormat.kif 65907-65907

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


(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 24683-24688
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 24690-24695

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 24676-24681 PostalPlacelocated Neighborhood那个 PostalPlacePostalPlaceinstance那个 NeighborhoodNeighborhoodinstance 若且唯若 那个 PostalPlace 是在 那个 Neighborhood


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