TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Harbor WaterArea)	Transportation.kif 917-917	Harbor is a subclass of water area
(documentation Harbor EnglishLanguage "Harbor is the subclass of WaterAreas that provide shelter and anchorage for WaterVehicle.")	Transportation.kif 918-919	Harbor is a subclass of water area
(subclass Harbor Waterway)	Transportation.kif 1848-1848	Harbor is a subclass of waterway
(externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Harbour.JPG")	pictureList.kif 953-953	Harbor is a subclass of waterway
(externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/88/ Sitka_Harbor.jpg")	pictureList.kif 1482-1482	Harbor is a subclass of waterway

appearance as argument number 2

(subclass DeepDraftHarbor Harbor)	Transportation.kif 895-895	Deep draft harbor is a subclass of harbor
(termFormat EnglishLanguage Harbor "harbor")	domainEnglishFormat.kif 27404-27404	Deep draft harbor is a subclass of harbor
(termFormat ChineseTraditionalLanguage Harbor "港口")	domainEnglishFormat.kif 27405-27405	Deep draft harbor is a subclass of harbor
(termFormat ChineseLanguage Harbor "港口")	domainEnglishFormat.kif 27406-27406	Deep draft harbor is a subclass of harbor

antecedent

(=>
    (and
        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))

If X is an instance of harbor, X equipment count ship berth for Y, and Y is greater than 0, then X is capable of doing ship berthing as a path

consequent

(=> (instance ?ANCHOR OffshoreAnchorage) (not (exists (?HARBOR) (and (instance ?HARBOR Harbor) (located ?ANCHOR ?HARBOR)))))	Transportation.kif 930-936	If X is an instance of offshore anchorage, then there doesn't exist Y such that Y is an instance of harbor and X is located at Y
(=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR))))	Transportation.kif 4327-4335	If X is an instance of port facility and X is capable of doing ship berthing as a patient, then there exists Y such that Y is an instance of harbor, Y is connected to X, and Y is capable of doing ship berthing as a path