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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FloridaUnitedStates

 Sigma KEE - FloridaUnitedStates
FloridaUnitedStates(佛羅里達)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 928-929
No TPTP formula. May not be expressible in strict first order. pictureList.kif 437-437
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5245-5245
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5244-5244
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5247-5247
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5241-5241
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5118-5118
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5246-5246
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5242-5242
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5249-5249
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5243-5243
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2843-2843 佛羅里達 是 美國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 924-924 例 佛羅里達 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2842-2842 例 佛羅里達 and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 926-926 空間的符合 佛羅里達 and 阿拉巴馬
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 927-927 空間的符合 佛羅里達 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 925-925 空間的符合 佛羅里達 and 北大西洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 932-932 空間的符合 格魯吉亞 and 佛羅里達
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2844-2844 名 "Florida" and 佛羅里達
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24284-24284
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24283-24283
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24282-24282


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