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 The number 1 argument of post neighborhood is an instance of postal place
(domain postNeighborhood 2 Neighborhood) Mid-level-ontology.kif 24674-24674 The number 2 argument of post neighborhood is an instance of neighborhood
(instance postNeighborhood AsymmetricRelation) Mid-level-ontology.kif 24669-24669 post neighborhood is an instance of asymmetric relation
(instance postNeighborhood BinaryPredicate) Mid-level-ontology.kif 24668-24668 post neighborhood is an instance of binary predicate
(subrelation postNeighborhood located) Mid-level-ontology.kif 24670-24670 post neighborhood is a subrelation of located

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 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


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