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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AmericanState

 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 AmericanState is uguale a GeographicPartTypeFn StatoOProvincia and UnitedStates
(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 AmericanState è una sottoclasse di StatoOProvincia

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


(instance Alabama AmericanState) CountriesAndRegions.kif 865-865 Alabama è un' istanza di AmericanState
(instance Alaska AmericanState) CountriesAndRegions.kif 869-869 Alaska è un' istanza di AmericanState
(instance Arizona AmericanState) CountriesAndRegions.kif 883-883 Arizona è un' istanza di AmericanState
(instance Arkansas AmericanState) CountriesAndRegions.kif 889-889 Arkansas è un' istanza di AmericanState
(instance California AmericanState) CountriesAndRegions.kif 895-895 California è un' istanza di AmericanState
(instance Colorado AmericanState) CountriesAndRegions.kif 908-908 Colorado è un' istanza di AmericanState
(instance Connecticut AmericanState) CountriesAndRegions.kif 914-914 Connecticut è un' istanza di AmericanState
(instance Delaware AmericanState) CountriesAndRegions.kif 918-918 Delaware è un' istanza di AmericanState
(instance FloridaUnitedStates AmericanState) CountriesAndRegions.kif 924-924 FloridaUnitedStates è un' istanza di AmericanState
(instance Georgia AmericanState) CountriesAndRegions.kif 930-930 Georgia è un' istanza di AmericanState
(instance Hawaii AmericanState) CountriesAndRegions.kif 935-935 Hawaii è un' istanza di AmericanState
(instance Idaho AmericanState) CountriesAndRegions.kif 939-939 Idaho è un' istanza di AmericanState
(instance Illinois AmericanState) CountriesAndRegions.kif 947-947 Illinois è un' istanza di AmericanState
(instance Indiana AmericanState) CountriesAndRegions.kif 952-952 Indiana è un' istanza di AmericanState
(instance Iowa AmericanState) CountriesAndRegions.kif 955-955 Iowa è un' istanza di AmericanState
(instance Kansas AmericanState) CountriesAndRegions.kif 960-960 Kansas è un' istanza di AmericanState
(instance Kentucky AmericanState) CountriesAndRegions.kif 965-965 Kentucky è un' istanza di AmericanState
(instance Louisiana AmericanState) CountriesAndRegions.kif 971-971 Louisiana è un' istanza di AmericanState
(instance Maine AmericanState) CountriesAndRegions.kif 976-976 Maine è un' istanza di AmericanState
(instance Maryland AmericanState) CountriesAndRegions.kif 981-981 Maryland è un' istanza di AmericanState
(instance Massachusetts AmericanState) CountriesAndRegions.kif 988-988 Massachusetts è un' istanza di AmericanState
(instance Michigan AmericanState) CountriesAndRegions.kif 996-996 Michigan è un' istanza di AmericanState
(instance Minnesota AmericanState) CountriesAndRegions.kif 1002-1002 Minnesota è un' istanza di AmericanState
(instance Mississippi AmericanState) CountriesAndRegions.kif 1008-1008 Mississippi è un' istanza di AmericanState
(instance Missouri AmericanState) CountriesAndRegions.kif 1014-1014 Missouri è un' istanza di 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
        (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 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 is open source software produced by Articulate Software and its partners