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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Maryland

 Sigma KEE - Maryland
Maryland(馬里蘭)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 986-987
No TPTP formula. May not be expressible in strict first order. pictureList.kif 583-583
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 981-981 例 馬里蘭 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 982-982 空間的符合 馬里蘭 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 983-983 空間的符合 馬里蘭 and 弗吉尼亞州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 985-985 空間的符合 馬里蘭 and 華盛頓特區美國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 984-984 空間的符合 馬里蘭 and WestVirginia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 920-920 空間的符合 Delaware and 馬里蘭
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 714-714 部分 巴爾的摩馬里蘭州 and 馬里蘭
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36365-36365
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36364-36364
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36363-36363


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