RiverPort - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage RiverPort "river port")	domainEnglishFormat.kif 50115-50115
(termFormat ChineseTraditionalLanguage RiverPort "河港")	domainEnglishFormat.kif 50116-50116
(termFormat ChineseLanguage RiverPort "河港")	domainEnglishFormat.kif 50117-50117

antecedent

(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))

If X is an instance of river port, then there exists Y such that Y is an instance of river, Y is an instance of waterway, and X meets Y