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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmericanState
AmericanState

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


(documentation AmericanState EnglishLanguage "The class of states that make up the UnitedStates.") CountriesAndRegions.kif 22-23
(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))
Geography.kif 6314-6314 equal AmericanState and GeographicPartTypeFn StateOrProvince and UnitedStates
(externalImage AmericanState "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ US_map_-_states_and_capitals.png") pictureList.kif 1467-1467
(subclass AmericanState StateOrProvince) CountriesAndRegions.kif 21-21 subclass AmericanState and StateOrProvince

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


(instance Alabama AmericanState) CountriesAndRegions.kif 865-865 instance Alabama and AmericanState
(instance Alaska AmericanState) CountriesAndRegions.kif 869-869 instance Alaska and AmericanState
(instance Arizona AmericanState) CountriesAndRegions.kif 883-883 instance Arizona and AmericanState
(instance Arkansas AmericanState) CountriesAndRegions.kif 889-889 instance Arkansas and AmericanState
(instance California AmericanState) CountriesAndRegions.kif 895-895 instance California and AmericanState
(instance Colorado AmericanState) CountriesAndRegions.kif 908-908 instance Colorado and AmericanState
(instance Connecticut AmericanState) CountriesAndRegions.kif 914-914 instance Connecticut and AmericanState
(instance Delaware AmericanState) CountriesAndRegions.kif 918-918 instance Delaware and AmericanState
(instance FloridaUnitedStates AmericanState) CountriesAndRegions.kif 924-924 instance FloridaUnitedStates and AmericanState
(instance Georgia AmericanState) CountriesAndRegions.kif 930-930 instance Georgia and AmericanState
(instance Hawaii AmericanState) CountriesAndRegions.kif 935-935 instance Hawaii and AmericanState
(instance Idaho AmericanState) CountriesAndRegions.kif 939-939 instance Idaho and AmericanState
(instance Illinois AmericanState) CountriesAndRegions.kif 947-947 instance Illinois and AmericanState
(instance Indiana AmericanState) CountriesAndRegions.kif 952-952 instance Indiana and AmericanState
(instance Iowa AmericanState) CountriesAndRegions.kif 955-955 instance Iowa and AmericanState
(instance Kansas AmericanState) CountriesAndRegions.kif 960-960 instance Kansas and AmericanState
(instance Kentucky AmericanState) CountriesAndRegions.kif 965-965 instance Kentucky and AmericanState
(instance Louisiana AmericanState) CountriesAndRegions.kif 971-971 instance Louisiana and AmericanState
(instance Maine AmericanState) CountriesAndRegions.kif 976-976 instance Maine and AmericanState
(instance Maryland AmericanState) CountriesAndRegions.kif 981-981 instance Maryland and AmericanState
(instance Massachusetts AmericanState) CountriesAndRegions.kif 988-988 instance Massachusetts and AmericanState
(instance Michigan AmericanState) CountriesAndRegions.kif 996-996 instance Michigan and AmericanState
(instance Minnesota AmericanState) CountriesAndRegions.kif 1002-1002 instance Minnesota and AmericanState
(instance Mississippi AmericanState) CountriesAndRegions.kif 1008-1008 instance Mississippi and AmericanState
(instance Missouri AmericanState) CountriesAndRegions.kif 1014-1014 instance Missouri and AmericanState

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?STATE AmericanState)
        (not
            (equal ?STATE California)))
    (greaterThan
        (CardinalityFn
            (ResidentFn California))
        (CardinalityFn
            (ResidentFn ?STATE))))
CountriesAndRegions.kif 897-901
(=>
    (and
        (subclass ?UNIT AreaMeasure)
        (measure Alaska
            (MeasureFn ?NUMBER1 ?UNIT))
        (measure ?STATE
            (MeasureFn ?NUMBER2 ?UNIT))
        (instance ?STATE AmericanState)
        (not
            (equal Alaska ?STATE)))
    (lessThan ?NUMBER2 ?NUMBER1))
CountriesAndRegions.kif 871-878
(=>
    (instance ?STATE AmericanState)
    (part ?STATE UnitedStates))
CountriesAndRegions.kif 25-27


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