TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 22-23
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6976-6976	American state is equal to all the instances of state or province in united states
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1466-1466
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 21-21	American state is a subclass of state or province

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 865-865	Alabama is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 869-869	Alaska is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 883-883	Arizona is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 889-889	Arkansas is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 895-895	California is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 908-908	Colorado is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 914-914	Connecticut is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 918-918	Delaware is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 924-924	Florida is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 930-930	Georgia is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 935-935	Hawaii is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 939-939	Idaho is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 947-947	Illinois is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 952-952	Indiana is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 955-955	Iowa is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 960-960	Kansas is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 965-965	Kentucky is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 971-971	Louisiana is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 976-976	Maine is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 981-981	Maryland is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 988-988	Massachusetts is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 996-996	Michigan is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1002-1002	Minnesota is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1008-1008	Mississippi is an instance of american state
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 897-901	If a geopolitical area is an instance of american state and the geopolitical area is not equal to california, then the number of instances in the resident of california is greater than the number of instances in the resident of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 871-878	If an unit of measure is an instance of area measure and the measure of alaska is a real number the unit of measure(s) and the measure of a physical is another real number the unit of measure(s) and the physical is an instance of american state and alaska is not equal to the physical, then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 25-27	If an object is an instance of american state, then the object is a part of united states

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

KB Term:			Term intersection

English Word: