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 |