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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Neighborhood
Neighborhood(neighborhood)locality, neck_of_the_woods, neighborhood, neighbourhood, vicinity

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


(documentation Neighborhood EnglishLanguage "Neighborhood refers to a GeographicArea that is a subregion of a larger geographic area, such as a City, normally with a distinctive feature") Mid-level-ontology.kif 26322-26324
(subclass Neighborhood GeographicArea) Mid-level-ontology.kif 26321-26321 Neighborhood is a subclass of geographic area

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


(termFormat EnglishLanguage Neighborhood "neighborhood") Mid-level-ontology.kif 26325-26325

appearance as argument number 3
-------------------------


(domain postNeighborhood 2 Neighborhood) Mid-level-ontology.kif 26338-26338 The number 2 argument of post neighborhood is an instance of neighborhood

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 26340-26345 A postal place is located at a neighborhood and the postal place is an instance of postal place and the neighborhood is an instance of neighborhood if and only if the postal place is in the neighborhood
(=>
    (instance ?PLACE Neighborhood)
    (exists (?AREA)
        (geographicSubregion ?PLACE ?AREA)))
Mid-level-ontology.kif 26327-26330


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