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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 e' igual a GeographicPartTypeFn Estado ou Provincia 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 e' uma sub-classe de Estado ou Provincia

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


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