TreeView Knowledge Base Browser - MatsumotoJapan

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MatsumotoJapan

MatsumotoJapan(matsumoto japan)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2031-2031
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5336-5336
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5338-5338
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5337-5337
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5141-5141
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3206-3206	Matsumoto japan is a geographic subregion of japan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2030-2030	Matsumoto japan is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3207-3207	Matsumoto japan has name "Matsumoto"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36527-36527
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36526-36526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36525-36525

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