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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoastalPlain
CoastalPlain(coastal plain)

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


(documentation CoastalPlain EnglishLanguage "CoastalPlain is the class of broad plains areas adjacent to a Sea or Ocean. A coastal plain includes a narrower ShoreArea adjacent to a body of water.") Geography.kif 5814-5816
(externalImage CoastalPlain "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ GulfofMexico3D.png") pictureList.kif 2554-2554
(externalImage CoastalPlain "http://upload.wikimedia.org/wikipedia/en/e/ e3/ AtlCoastalPlain.jpg") pictureList.kif 2446-2446
(externalImage CoastalPlain "http://upload.wikimedia.org/wikipedia/en/e/ eb/ Socal_geo.jpg") pictureList.kif 2555-2555
(subclass CoastalPlain Plain) Geography.kif 5812-5812 Coastal plain is a subclass of plain

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


(termFormat ChineseLanguage CoastalPlain "沿海平原") domainEnglishFormat.kif 15399-15399
(termFormat ChineseTraditionalLanguage CoastalPlain "沿海平原") domainEnglishFormat.kif 15398-15398
(termFormat EnglishLanguage CoastalPlain "coastal plain") domainEnglishFormat.kif 15397-15397

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


(=>
    (instance ?plain CoastalPlain)
    (exists (?shore)
        (and
            (instance ?shore ShoreArea)
            (part ?shore ?plain))))
Geography.kif 5818-5823


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