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
-------------------------


(documentation California EnglishLanguage "The AmericanState with the highest population.") CountriesAndRegions.kif 896-896
(externalImage California "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ US_States/ california.png") pictureList.kif 311-311
(instance California AmericanState) CountriesAndRegions.kif 895-895
(meetsSpatially California Mexico) CountriesAndRegions.kif 904-904
(meetsSpatially California NewMexico) CountriesAndRegions.kif 905-905
(meetsSpatially California Oregon) CountriesAndRegions.kif 906-906
(meetsSpatially California PacificOcean) CountriesAndRegions.kif 903-903
(meetsSpatially California Washington) CountriesAndRegions.kif 907-907

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


(geographicSubregion SaltonSea California) Geography.kif 4768-4768
(meetsSpatially Arizona California) CountriesAndRegions.kif 885-885
(meetsSpatially Nevada California) CountriesAndRegions.kif 1031-1031
(meetsSpatially Oregon California) CountriesAndRegions.kif 1083-1083
(part LosAngelesCalifornia California) CountriesAndRegions.kif 810-810
(part SanFranciscoCalifornia California) CountriesAndRegions.kif 791-791
(termFormat EnglishLanguage California "california") domainEnglishFormat.kif 2546-2546

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


(=>
    (and
        (instance ?CITY AmericanCity)
        (part ?CITY California)
        (not
            (equal ?CITY LosAngelesCalifornia)))
    (greaterThan
        (CardinalityFn
            (ResidentFn LosAngelesCalifornia))
        (CardinalityFn
            (ResidentFn ?CITY))))
CountriesAndRegions.kif 812-817
(=>
    (and
        (instance ?STATE AmericanState)
        (not
            (equal ?STATE California)))
    (greaterThan
        (CardinalityFn
            (ResidentFn California))
        (CardinalityFn
            (ResidentFn ?STATE))))
CountriesAndRegions.kif 897-901

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


(=>
    (and
        (instance ?STATE AmericanState)
        (not
            (equal ?STATE California)))
    (greaterThan
        (CardinalityFn
            (ResidentFn California))
        (CardinalityFn
            (ResidentFn ?STATE))))
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners