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


KB Term:  Term intersection
English Word: 

  AmericanState

 Sigma KEE - AmericanState
AmericanState(american state)
American_state

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


(subclass AmericanState StateOrProvince) CountriesAndRegions.kif 21-21 American state is a subclass of state or province
(documentation AmericanState EnglishLanguage "The class of states that make up the UnitedStates.") CountriesAndRegions.kif 22-23 American state is a subclass of state or province
(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))		 Geography.kif 8640-8640 equal american state and all the instances of state or province in united states
(externalImage AmericanState "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ US_map_-_states_and_capitals.png") pictureList.kif 1466-1466 equal american state and all the instances of state or province in united states

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


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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?STATE AmericanState)
    (part ?STATE UnitedStates))		 CountriesAndRegions.kif 25-27 If X is an instance of american state, then X is a part of united states
(=>
    (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 If X is an instance of area measure, the measure of alaska is Y X(s), the measure of Z is W X(s), Z is an instance of american state, and equal alaska and Z, then W is less than Y
(=>
    (and
        (instance ?STATE AmericanState)
        (not
            (equal ?STATE California)))
    (greaterThan
        (CardinalityFn
            (ResidentFn California))
        (CardinalityFn
            (ResidentFn ?STATE))))		 CountriesAndRegions.kif 897-901 If X is an instance of american state and equal X and california, then the number of instances in the resident of california is greater than the number of instances in the resident of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners