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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RiverPort

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 853-854
(externalImage RiverPort "http://upload.wikimedia.org/wikipedia/commons/ 3/ 36/ Barnaul_River_Port.jpg") pictureList.kif 4808-4808
(subclass RiverPort PortCity) Transportation.kif 852-852

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


(termFormat ChineseLanguage RiverPort "河港") domainEnglishFormat.kif 50120-50120
(termFormat ChineseTraditionalLanguage RiverPort "河港") domainEnglishFormat.kif 50119-50119
(termFormat EnglishLanguage RiverPort "river port") domainEnglishFormat.kif 50118-50118

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


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


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