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 24671-24672
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24673-24673 Le nombre 1 argument de postNeighborhood est une instance de PostalPlace
(domain postNeighborhood 2 Neighborhood) Mid-level-ontology.kif 24674-24674 Le nombre 2 argument de postNeighborhood est une instance de Neighborhood
(instance postNeighborhood AsymmetricRelation) Mid-level-ontology.kif 24669-24669 postNeighborhood est une instance de relation asym�trique
(instance postNeighborhood BinaryPredicate) Mid-level-ontology.kif 24668-24668 postNeighborhood est une instance de pr�dicat binaire
(subrelation postNeighborhood located) Mid-level-ontology.kif 24670-24670 postNeighborhood est une sous-relation de 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 PostalPlace est situ� � Neighborhood PostalPlace est une instance de PostalPlace Neighborhood est une instance de Neighborhood postNeighborhood PostalPlace and Neighborhood


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