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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PostcodeArea

Sigma KEE - PostcodeArea
PostcodeArea

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


(documentation PostcodeArea EnglishLanguage "An instance of PostcodeArea is a LocalizablePlace that is identified by a Postcode.") Mid-level-ontology.kif 24121-24123
(subclass PostcodeArea LocalizablePlace) Mid-level-ontology.kif 24120-24120 subclass PostcodeArea and LocalizablePlace

appearance as argument number 3
-------------------------


(domain postPostcodeArea 2 PostcodeArea) Mid-level-ontology.kif 24133-24133 domain postPostcodeArea, 2 and PostcodeArea

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 24140-24145 located PostalPlace and PostcodeArea instance PostalPlace and PostalPlace instance PostcodeArea and PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
(=>
    (instance ?AREA PostcodeArea)
    (exists (?GEO)
        (geographicSubregion ?AREA ?GEO)))
Mid-level-ontology.kif 24125-24128


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