partition |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1517-1518 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 585-588 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 82-84 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 94-96 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 582-582 | The number 1 argument of partition is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 583-583 | The number 2 argument of partition is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 580-580 | partition is an instance of predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 581-581 | partition is an instance of variable arity relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 311-311 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 316-316 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 178-178 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 213-213 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1998-1998 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 130-130 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 187-187 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 408-408 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 251-251 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 198-198 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 188-188 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 405-405 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 550-550 | exhaustive decomposition is internally related to partition |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 312-312 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44567-44567 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44566-44566 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 606-612 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 602-604 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 590-594 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 596-600 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 602-604 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11141-11141 | Ambulating is exhaustively partitioned into walking and running |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14915-14915 | Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14914-14914 | Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14447-14447 | Animal is exhaustively partitioned into vertebrate and invertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16813-16813 | Argument is exhaustively partitioned into deductive argument and inductive argument |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1702-1702 | Attribute is exhaustively partitioned into internal attribute and relational attribute |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 82-82 | Biochemical agent is exhaustively partitioned into biological agent and chemical agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 108-108 | Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 157-157 | Biological agent is exhaustively partitioned into toxin and toxic organism |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7625-7625 | Care organization is exhaustively partitioned into hospital organization and medical clinic |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1027-1027 | Chairman publication is exhaustively partitioned into chairman instruction and chairman manual |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12504-12504 | Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13036-13036 | Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3585-3585 | Currency is exhaustively partitioned into currency bill and coin |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16833-16833 | Deductive argument is exhaustively partitioned into valid deductive argument and invalid deductive argument |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 816-816 | Entity is exhaustively partitioned into physical and abstract |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12943-12943 | Expressing is exhaustively partitioned into gesture and expressing in language |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1604-1604 | Firearm is exhaustively partitioned into rifle and pistol |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8152-8152 | Garden is exhaustively partitioned into residential garden and public garden |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14032-14032 | Geographic area is exhaustively partitioned into water area and land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17781-17781 | Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5820-5820 | Graph element is exhaustively partitioned into graph node and graph arc |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1162-1162 | Gun is exhaustively partitioned into artillery gun and firearm |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5279-5279 | Hardwood is exhaustively partitioned into softwood |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14645-14645 | Human is exhaustively partitioned into man and woman |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |