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 Die Zahl 1 Argument von postNeighborhood ist ein fall von PostalPlace %n{nicht}
(domain postNeighborhood 2 Neighborhood) Mid-level-ontology.kif 24674-24674 Die Zahl 2 Argument von postNeighborhood ist ein fall von Neighborhood %n{nicht}
(instance postNeighborhood AsymmetricRelation) Mid-level-ontology.kif 24669-24669 postNeighborhood ist ein fall von AsymmetricRelation %n{nicht}
(instance postNeighborhood BinaryPredicate) Mid-level-ontology.kif 24668-24668 postNeighborhood ist ein fall von BinaryPredicate %n{nicht}
(subrelation postNeighborhood located) Mid-level-ontology.kif 24670-24670 postNeighborhood ist eine teilrelation von befindetSich

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 befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und Neighborhood ist ein fall von Neighborhood %n{nicht} genau dann wenn 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