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 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 RiverPort è una sottoclasse di PortCity

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


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

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


(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (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