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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - California
California

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 896-896
No TPTP formula. May not be expressible in strict first order. pictureList.kif 311-311
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 895-895 California e' uma instancia de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 904-904 California encontra Mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 905-905 California encontra NewMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 906-906 California encontra Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 903-903 California encontra PacificOcean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 907-907 California encontra Washington

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5103-5103 geographicSubregion SaltonSea and California
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4674-4674 headquartersOfOrganization EBay and California
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4555-4555 headquartersOfOrganization Netflix and California
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 885-885 Arizona encontra California
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1031-1031 Nevada encontra California
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1083-1083 Oregon encontra California
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 810-810 LosAngelesCalifornia e' uma &parte de California
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 791-791 SanFranciscoCalifornia e' uma &parte de California
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12733-12733
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12732-12732
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12731-12731

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 812-817
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 897-901

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 897-901


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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