Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Cape
Cape(cape)
Cape_Canaveral, Cape_Kennedy, Cape_Sable, Cape_Trafalgar, Cape_York, Hoek_van_Holland, Hook_of_Holland, Skagens_Odde, Skaw, cape, ness

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


(subclass Cape LandForm) Geography.kif 7407-7407 Cape is a subclass of land form
(documentation Cape EnglishLanguage "A Cape is a piece of land projecting into a body of water.") Geography.kif 7409-7409 Cape is a subclass of land form
(externalImage Cape "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b3/ Cape_cod_bay.jpg/ 225px_Cape_cod_bay.jpg") pictureList.kif 1065-1065 Cape is a subclass of land form

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


(termFormat EnglishLanguage Cape "cape") domainEnglishFormat.kif 13056-13056
(termFormat ChineseTraditionalLanguage Cape "披肩") domainEnglishFormat.kif 13057-13057
(termFormat ChineseLanguage Cape "披肩") domainEnglishFormat.kif 13058-13058

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


(=>
    (instance ?Cape Cape)
    (exists (?WaterRegion)
        (and
            (instance ?WaterRegion WaterArea)
            (penetrates ?Cape ?WaterRegion))))		 Geography.kif 7411-7416 If X is an instance of cape, then there exists Y such that Y is an instance of water area and X penetrates Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners