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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 23341-23342
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 23343-23343
(domain postNeighborhood 2 Neighborhood) Mid-level-ontology.kif 23344-23344
(instance postNeighborhood AsymmetricRelation) Mid-level-ontology.kif 23339-23339
(instance postNeighborhood BinaryPredicate) Mid-level-ontology.kif 23338-23338
(subrelation postNeighborhood located) Mid-level-ontology.kif 23340-23340

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


(format ChineseLanguage postNeighborhood "%1 是在 %2 ") domainEnglishFormat.kif 4171-4171
(format ChineseTraditionalLanguage postNeighborhood "%1 是在 %2 ") domainEnglishFormat.kif 4170-4170
(format EnglishLanguage postNeighborhood "%1 is in %2") domainEnglishFormat.kif 4169-4169

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


(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 23353-23358
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 23360-23365

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 23346-23351


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