TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ShipBerthingFn EnglishLanguage "(ShipBerthingFn ?SHIP) denotes the class of ShipBerthings of an individual WaterVehicle ?SHIP.")	Transportation.kif 3079-3080
(domain ShipBerthingFn 1 Ship)	Transportation.kif 3076-3076	O argumento numero 1 de ShipBerthingFn e' uma instancia de Ship
(instance ShipBerthingFn UnaryFunction)	Transportation.kif 3075-3075	ShipBerthingFn e' uma instancia de funcao Unaria
(rangeSubclass ShipBerthingFn ShipBerthing)	Transportation.kif 3077-3077	Os valores retornados por ShipBerthingFn sao as sub-classes de ShipBerthing

appearance as argument number 2

(format ChineseLanguage ShipBerthingFn "%1 的 ship 靠泊")	domainEnglishFormat.kif 2263-2263
(format ChineseTraditionalLanguage ShipBerthingFn "%1 的 ship 靠泊")	domainEnglishFormat.kif 2262-2262
(format EnglishLanguage ShipBerthingFn "the ship berthing of %1")	domainEnglishFormat.kif 2261-2261
(termFormat ChineseLanguage ShipBerthingFn "船靠泊")	domainEnglishFormat.kif 52625-52625
(termFormat ChineseTraditionalLanguage ShipBerthingFn "船靠泊")	domainEnglishFormat.kif 52624-52624
(termFormat EnglishLanguage ShipBerthingFn "ship berthing")	domainEnglishFormat.kif 52623-52623