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 では %n
(domain postNeighborhood 2 Neighborhood) Mid-level-ontology.kif 24674-24674 postNeighborhood の数値 2 引数は Neighborhoodinstance では %n
(instance postNeighborhood AsymmetricRelation) Mid-level-ontology.kif 24669-24669 postNeighborhood非対称関係instance では %n
(instance postNeighborhood BinaryPredicate) Mid-level-ontology.kif 24668-24668 postNeighborhood2進述語instance では %n
(subrelation postNeighborhood located) Mid-level-ontology.kif 24670-24670 postNeighborhoodlocatedsubrelation では %n

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 PostalPlace Neighborhoodlocated して %n PostalPlacePostalPlaceinstance では %n NeighborhoodNeighborhoodinstance では %n postNeighborhood PostalPlace and 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