TreeView Knowledge Base Browser - Maryland

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	Maryland e' uma instancia de AmericanState
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 982-982	Maryland encontra NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 983-983	Maryland encontra Virginia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 985-985	Maryland encontra WashingtonDCUnitedStates
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 984-984	Maryland encontra WestVirginia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 920-920	Delaware encontra Maryland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 714-714	BaltimoreMaryland e' uma &parte de Maryland
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