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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Louisiana

 Sigma KEE - Louisiana
Louisiana(路易斯安那州)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 974-975
No TPTP formula. May not be expressible in strict first order. pictureList.kif 565-565
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 971-971 例 路易斯安那州 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 973-973 空間的符合 路易斯安那州 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 972-972 空間的符合 路易斯安那州 and 德州

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 892-892 空間的符合 阿肯色州 and 路易斯安那州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1010-1010 空間的符合 密西西比州 and 路易斯安那州
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35087-35087
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35086-35086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35085-35085


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