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 6976-6976
(externalImage AmericanState "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ US_map_-_states_and_capitals.png") pictureList.kif 1466-1466
(subclass AmericanState StateOrProvince) CountriesAndRegions.kif 21-21

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


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

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
        (instance ?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