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

Formal Language: 



KB Term:  Term intersection
English Word: 

  capitalCity

 Sigma KEE - capitalCity
capitalCity

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


No TPTP formula. May not be expressible in strict first order. Government.kif 379-380
No TPTP formula. May not be expressible in strict first order. Government.kif 375-375 O argumento numero 1 de capitalCity e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order. Government.kif 376-376 O argumento numero 2 de capitalCity e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. Government.kif 374-374 capitalCity e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Government.kif 377-377 capitalCity e' uma sub-relacao de administrativeCenter

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 356-356
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 355-355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 354-354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13080-13080
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13079-13079
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13078-13078

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 717-717 capitalCity BerlinGermany and Germany
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 721-721 capitalCity BernSwitzerland and Switzerland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 858-858 capitalCity ColumbusOhio and Ohio
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 844-844 capitalCity CopenhagenDenmark and Denmark
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 838-838 capitalCity DenverColorado and Colorado
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 825-825 capitalCity HonoluluHawaii and Hawaii
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1837-1837 capitalCity JerusalemIsrael and Israel
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2980-2980 capitalCity JerusalemPalestine and WestBank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 68-68 capitalCity LondonUnitedKingdom and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 749-749 capitalCity MoscowRussia and Russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 56-56 capitalCity Paris and France
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 771-771 capitalCity ProvidenceRhodeIsland and RhodeIsland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 775-775 capitalCity RichmondVirginia and Virginia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 779-779 capitalCity RomeItaly and Italy
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 786-786 capitalCity SaintPaulMinnesota and Minnesota
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2389-2389 capitalCity TokyoJapan and Japan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 802-802 capitalCity WarsawPoland and Poland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1050-1050 capitalCity WashingtonDCUnitedStates and UnitedStates


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