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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - RiverPort
RiverPort(river port)

appearance as argument number 1

(documentation RiverPort EnglishLanguage "RiverPort is the subclass of PortCity whose instances are port cities Adjacent to a navigable River.") Transportation.kif 853-854
(externalImage RiverPort " 3/ 36/ Barnaul_River_Port.jpg") pictureList.kif 4808-4808
(subclass RiverPort PortCity) Transportation.kif 852-852 River port is a subclass of port city

appearance as argument number 2

(termFormat ChineseLanguage RiverPort "河港") domainEnglishFormat.kif 50132-50132
(termFormat ChineseTraditionalLanguage RiverPort "河港") domainEnglishFormat.kif 50131-50131
(termFormat EnglishLanguage RiverPort "river port") domainEnglishFormat.kif 50130-50130


    (instance ?PORT RiverPort)
    (exists (?RIVER)
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))
Transportation.kif 856-862

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