partition

-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1447-1447 Human language is exhaustively partitioned into natural language and constructed language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1448-1448 Human language is exhaustively partitioned into spoken human language and manual human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1956-1956 Integer is exhaustively partitioned into negative integer and nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1955-1955 Integer is exhaustively partitioned into odd integer and even integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 14710-14710 Liquid mixture is exhaustively partitioned into solution and suspension
No TPTP formula. May not be expressible in strict first order. Weather.kif 541-541 Low pressure weather system is exhaustively partitioned into high pressure weather system
No TPTP formula. May not be expressible in strict first order. Merge.kif 13703-13703 Making music is exhaustively partitioned into instrumental music and singing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14925-14925 Narrative text is exhaustively partitioned into fictional text and historical account
No TPTP formula. May not be expressible in strict first order. Merge.kif 1825-1825 Number is exhaustively partitioned into real number, imaginary number, and complex number
No TPTP formula. May not be expressible in strict first order. Merge.kif 14348-14348 Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14357-14357 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
No TPTP formula. May not be expressible in strict first order. Geography.kif 7405-7405 PM is exhaustively partitioned into PM10 and PM2.5
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1286-1286 Phalanx is exhaustively partitioned into toe bone and finger bone
No TPTP formula. May not be expressible in strict first order. Merge.kif 833-833 Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2026-2026 Physical quantity is exhaustively partitioned into constant quantity and function quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7030-7030 Place of commerce is exhaustively partitioned into commercial building and commercial unit
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19537-19537 Politico economic attribute is exhaustively partitioned into form of government and economic attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16723-16723 Post secondary school is exhaustively partitioned into junior college, college, and university
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 314-314 Protein structural attribute is exhaustively partitioned into protein structural attribute composite and protein structural attribute primitive
No TPTP formula. May not be expressible in strict first order. Merge.kif 18258-18258 Psychological attribute is exhaustively partitioned into state of mind and trait attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1085-1085 Pure substance is exhaustively partitioned into compound substance and elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2872-2872 Quantity is exhaustively partitioned into finite quantity and infinite quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 10873-10873 Quantity change is exhaustively partitioned into increasing and decreasing
No TPTP formula. May not be expressible in strict first order. WMD.kif 648-648 Radioactive weapon is exhaustively partitioned into nuclear weapon and radiological weapon
No TPTP formula. May not be expressible in strict first order. Merge.kif 1892-1892 Real number is exhaustively partitioned into negative real number and nonnegative real number

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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