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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShipBerthingFn

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 3027-3028
(domain ShipBerthingFn 1 Ship) Transportation.kif 3024-3024 船靠泊 的 1 数量 是 instance
(instance ShipBerthingFn UnaryFunction) Transportation.kif 3023-3023 船靠泊一元函数instance
(rangeSubclass ShipBerthingFn ShipBerthing) Transportation.kif 3025-3025 船靠泊 的所得值 是 船靠泊subclass

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 52623-52623
(termFormat ChineseTraditionalLanguage ShipBerthingFn "船靠泊") domainEnglishFormat.kif 52622-52622
(termFormat EnglishLanguage ShipBerthingFn "ship berthing") domainEnglishFormat.kif 52621-52621


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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