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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 The number 1 argument of port facility is an instance of port city
(instance PortFacilityFn UnaryFunction) Transportation.kif 945-945 Port facility is an instance of unary function
(range PortFacilityFn PortFacility) Transportation.kif 947-947 The range of port facility is an instance of port facility

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 46748-46748
(termFormat ChineseTraditionalLanguage PortFacilityFn "港口設施") domainEnglishFormat.kif 46747-46747
(termFormat EnglishLanguage PortFacilityFn "port facility") domainEnglishFormat.kif 46746-46746

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