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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WestVirginia

 Sigma KEE - WestVirginia
WestVirginia
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1147-1147
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5574-5574
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5577-5577
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5572-5572
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5576-5576
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5575-5575
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1144-1144 例 WestVirginia and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1145-1145 空間的符合 WestVirginia and 肯塔基
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1146-1146 空間的符合 WestVirginia and 俄亥俄州

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 984-984 空間的符合 馬里蘭 and WestVirginia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1088-1088 空間的符合 賓夕法尼亞 and WestVirginia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1138-1138 空間的符合 弗吉尼亞州 and WestVirginia
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65732-65732


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