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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WashingtonDCUnitedStates

Sigma KEE - WashingtonDCUnitedStates
WashingtonDCUnitedStates(washingtonDC united states)
more pictures...
American_capital, D.C., DC, District_of_Columbia, Washington, Washington_D.C., capital_of_the_United_States

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1050-1050 United states is a capital city of washingtonDC united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2448-2448
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5555-5555
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5556-5556
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5194-5194
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5559-5559
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5561-5561
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5562-5562
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5558-5558
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5557-5557
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3669-3669 WashingtonDC united states is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2447-2447 WashingtonDC united states is an instance of american city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 985-985 Maryland meets washingtonDC united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1133-1133 Virginia meets washingtonDC united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3670-3670 WashingtonDC united states has name "Washington DC."
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62277-62277
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62276-62276
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62275-62275


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