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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Virginia

 Sigma KEE - Virginia
Virginia(弗吉尼亞州)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1131-1132
No TPTP formula. May not be expressible in strict first order. pictureList.kif 826-826
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1130-1130 例 弗吉尼亞州 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1137-1137 空間的符合 弗吉尼亞州 and 肯塔基
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1134-1134 空間的符合 弗吉尼亞州 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1135-1135 空間的符合 弗吉尼亞州 and 北卡羅來納
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1136-1136 空間的符合 弗吉尼亞州 and 田納西
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1133-1133 空間的符合 弗吉尼亞州 and 華盛頓特區美國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1138-1138 空間的符合 弗吉尼亞州 and WestVirginia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 775-775 弗吉尼亞州 是 里士滿弗吉尼亞州 的 capital 城市
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. domainEnglishFormat.kif 61724-61724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61723-61723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61722-61722


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