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 938-941
(domain PortFacilityFn 1 PortCity) Transportation.kif 935-935 domain PortFacilityFn, 1 and PortCity
(instance PortFacilityFn UnaryFunction) Transportation.kif 934-934 instance PortFacilityFn and UnaryFunction
(range PortFacilityFn PortFacility) Transportation.kif 936-936 range PortFacilityFn and PortFacility

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


(format ChineseLanguage PortFacilityFn "%1 的 port 设施") domainEnglishFormat.kif 1999-1999
(format ChineseTraditionalLanguage PortFacilityFn "%1 的 port 設施") domainEnglishFormat.kif 1998-1998
(format EnglishLanguage PortFacilityFn "the port facility of %1") domainEnglishFormat.kif 1997-1997
(termFormat ChineseLanguage PortFacilityFn "港口设施") domainEnglishFormat.kif 46634-46634
(termFormat ChineseTraditionalLanguage PortFacilityFn "港口設施") domainEnglishFormat.kif 46633-46633
(termFormat EnglishLanguage PortFacilityFn "port facility") domainEnglishFormat.kif 46632-46632


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners