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 AmericanStateGeographicPartTypeFn and UnitedStatesequal では %n
(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 AmericanStatesubclass では %n

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


(instance Alabama AmericanState) CountriesAndRegions.kif 865-865 AlabamaAmericanStateinstance では %n
(instance Alaska AmericanState) CountriesAndRegions.kif 869-869 AlaskaAmericanStateinstance では %n
(instance Arizona AmericanState) CountriesAndRegions.kif 883-883 ArizonaAmericanStateinstance では %n
(instance Arkansas AmericanState) CountriesAndRegions.kif 889-889 ArkansasAmericanStateinstance では %n
(instance California AmericanState) CountriesAndRegions.kif 895-895 CaliforniaAmericanStateinstance では %n
(instance Colorado AmericanState) CountriesAndRegions.kif 908-908 ColoradoAmericanStateinstance では %n
(instance Connecticut AmericanState) CountriesAndRegions.kif 914-914 ConnecticutAmericanStateinstance では %n
(instance Delaware AmericanState) CountriesAndRegions.kif 918-918 DelawareAmericanStateinstance では %n
(instance FloridaUnitedStates AmericanState) CountriesAndRegions.kif 924-924 FloridaUnitedStatesAmericanStateinstance では %n
(instance Georgia AmericanState) CountriesAndRegions.kif 930-930 GeorgiaAmericanStateinstance では %n
(instance Hawaii AmericanState) CountriesAndRegions.kif 935-935 HawaiiAmericanStateinstance では %n
(instance Idaho AmericanState) CountriesAndRegions.kif 939-939 IdahoAmericanStateinstance では %n
(instance Illinois AmericanState) CountriesAndRegions.kif 947-947 IllinoisAmericanStateinstance では %n
(instance Indiana AmericanState) CountriesAndRegions.kif 952-952 IndianaAmericanStateinstance では %n
(instance Iowa AmericanState) CountriesAndRegions.kif 955-955 IowaAmericanStateinstance では %n
(instance Kansas AmericanState) CountriesAndRegions.kif 960-960 KansasAmericanStateinstance では %n
(instance Kentucky AmericanState) CountriesAndRegions.kif 965-965 KentuckyAmericanStateinstance では %n
(instance Louisiana AmericanState) CountriesAndRegions.kif 971-971 LouisianaAmericanStateinstance では %n
(instance Maine AmericanState) CountriesAndRegions.kif 976-976 MaineAmericanStateinstance では %n
(instance Maryland AmericanState) CountriesAndRegions.kif 981-981 MarylandAmericanStateinstance では %n
(instance Massachusetts AmericanState) CountriesAndRegions.kif 988-988 MassachusettsAmericanStateinstance では %n
(instance Michigan AmericanState) CountriesAndRegions.kif 996-996 MichiganAmericanStateinstance では %n
(instance Minnesota AmericanState) CountriesAndRegions.kif 1002-1002 MinnesotaAmericanStateinstance では %n
(instance Mississippi AmericanState) CountriesAndRegions.kif 1008-1008 MississippiAmericanStateinstance では %n
(instance Missouri AmericanState) CountriesAndRegions.kif 1014-1014 MissouriAmericanStateinstance では %n

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