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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Missouri
Missouri(missouri)
MO, Missouri, Show_Me_State

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1018-1018
No TPTP formula. May not be expressible in strict first order. pictureList.kif 599-599
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1014-1014 Missouri is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1016-1016 Missouri meets Kansas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1015-1015 Missouri meets Nebraska
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1017-1017 Missouri meets Oklahoma

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 949-949 Illinois meets missouri
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 958-958 Iowa meets missouri
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 967-967 Kentucky meets missouri
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1108-1108 Tennessee meets missouri
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 728-728 Kansas city missouri is a part of missouri
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 783-783 Saint louis missouri is a part of missouri
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38061-38061
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38060-38060
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38059-38059


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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