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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BaltimoreMaryland

Sigma KEE - BaltimoreMaryland
BaltimoreMaryland(baltimore maryland)
Baltimore

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 715-715
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4527-4527
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 713-713 Baltimore maryland is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 714-714 Baltimore maryland is a part of maryland

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9732-9732
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9731-9731
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9730-9730


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