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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShipBerthingFn
ShipBerthingFn

appearance as argument number 1
-------------------------


(documentation ShipBerthingFn EnglishLanguage "(ShipBerthingFn ?SHIP) denotes the class of ShipBerthings of an individual WaterVehicle ?SHIP.") Transportation.kif 3034-3035
(domain ShipBerthingFn 1 Ship) Transportation.kif 3031-3031 The number 1 argument of ship berthing is an instance of ship
(instance ShipBerthingFn UnaryFunction) Transportation.kif 3030-3030 Ship berthing is an instance of unary function
(rangeSubclass ShipBerthingFn ShipBerthing) Transportation.kif 3032-3032 The values returned by ship berthing are subclasses of ship berthing

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 52605-52605
(termFormat ChineseTraditionalLanguage ShipBerthingFn "船靠泊") domainEnglishFormat.kif 52604-52604
(termFormat EnglishLanguage ShipBerthingFn "ship berthing") domainEnglishFormat.kif 52603-52603


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