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 22509-22510
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 22511-22511
(domain postNeighborhood 2 Neighborhood) Mid-level-ontology.kif 22512-22512
(instance postNeighborhood AsymmetricRelation) Mid-level-ontology.kif 22507-22507
(instance postNeighborhood BinaryPredicate) Mid-level-ontology.kif 22506-22506
(subrelation postNeighborhood located) Mid-level-ontology.kif 22508-22508

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 22521-22526
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 22528-22533

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


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


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