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


KB Term:  Term intersection
English Word: 

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