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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PortFacilityFn
PortFacilityFn

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


(documentation PortFacilityFn EnglishLanguage "(PortFacilityFn ?CITY) denotes the PortFacility, including mooring areas, docking space, and on_land support facilities for marine traffic, of the Port ?CITY, considered as a whole.") Transportation.kif 949-952
(domain PortFacilityFn 1 PortCity) Transportation.kif 946-946 PortFacilityFn の数値 1 引数は PortCityinstance では
(instance PortFacilityFn UnaryFunction) Transportation.kif 945-945 PortFacilityFn1変数関数instance では
(range PortFacilityFn PortFacility) Transportation.kif 947-947 PortFacilityFnrangePortFacility のインスタンス では

appearance as argument number 2
-------------------------


(format ChineseLanguage PortFacilityFn "%1 的 port 设施") domainEnglishFormat.kif 2003-2003
(format ChineseTraditionalLanguage PortFacilityFn "%1 的 port 設施") domainEnglishFormat.kif 2002-2002
(format EnglishLanguage PortFacilityFn "the port facility of %1") domainEnglishFormat.kif 2001-2001
(termFormat ChineseLanguage PortFacilityFn "港口设施") domainEnglishFormat.kif 46738-46738
(termFormat ChineseTraditionalLanguage PortFacilityFn "港口設施") domainEnglishFormat.kif 46737-46737
(termFormat EnglishLanguage PortFacilityFn "port facility") domainEnglishFormat.kif 46736-46736


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