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 弗吉尼亚州 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1137-1137 弗吉尼亚州 接上 肯塔基
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1134-1134 弗吉尼亚州 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1135-1135 弗吉尼亚州 接上 北卡罗来纳
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1136-1136 弗吉尼亚州 接上 田纳西
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1133-1133 弗吉尼亚州 接上 华盛顿特区美国
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1138-1138 弗吉尼亚州 接上 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 马里兰 接上 弗吉尼亚州
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