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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - postPostcodeArea
postPostcodeArea

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


(documentation postPostcodeArea EnglishLanguage "(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea.") Mid-level-ontology.kif 26447-26450
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 26444-26444 Le nombre 1 argument de postPostcodeArea est une instance de PostalPlace
(domain postPostcodeArea 2 PostcodeArea) Mid-level-ontology.kif 26445-26445 Le nombre 2 argument de postPostcodeArea est une instance de PostcodeArea
(instance postPostcodeArea AsymmetricRelation) Mid-level-ontology.kif 26442-26442 postPostcodeArea est une instance de relation asym�trique
(instance postPostcodeArea BinaryPredicate) Mid-level-ontology.kif 26443-26443 postPostcodeArea est une instance de pr�dicat binaire
(subrelation postPostcodeArea located) Mid-level-ontology.kif 26446-26446 postPostcodeArea est une sous-relation de located

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


(format ChineseLanguage postPostcodeArea "%1 是在 post code %2 ") domainEnglishFormat.kif 4174-4174
(format ChineseTraditionalLanguage postPostcodeArea "%1 是在 post code %2 ") domainEnglishFormat.kif 4173-4173
(format EnglishLanguage postPostcodeArea "%1 is in post code %2") domainEnglishFormat.kif 4172-4172
(termFormat EnglishLanguage postPostcodeArea "post postcode area") domainEnglishFormat.kif 65927-65927

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


(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 26459-26464
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 26466-26471

consequent
-------------------------


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 26452-26457 PostalPlace est situ� � PostcodeArea PostalPlace est une instance de PostalPlace PostcodeArea est une instance de PostcodeArea postPostcodeArea PostalPlace and PostcodeArea


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