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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RiverPort
RiverPort

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 842-843
(externalImage RiverPort "http://upload.wikimedia.org/wikipedia/commons/ 3/ 36/ Barnaul_River_Port.jpg") pictureList.kif 4809-4809
(subclass RiverPort PortCity) Transportation.kif 841-841

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


(termFormat ChineseLanguage RiverPort "河港") domainEnglishFormat.kif 50039-50039
(termFormat ChineseTraditionalLanguage RiverPort "河港") domainEnglishFormat.kif 50038-50038
(termFormat EnglishLanguage RiverPort "river port") domainEnglishFormat.kif 50037-50037

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


(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))
Transportation.kif 845-851


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