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 est GeographicPartTypeFn Etat ou province 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 est une sous-classe de Etat ou province

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


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