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 | O argumento numero 1 de partition e' uma instancia de Classe |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 583-583 | O argumento numero 2 de partition e' uma instancia de Classe |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 580-580 | partition e' uma instancia de Predicado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 581-581 | partition e' uma instancia de Relacao de aridade variavel |
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 | exhaustiveDecomposition e' relacionado internamente por SUMO a 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 11163-11163 | O conceito Ambulating e' completamente decomposto em Andar + Running |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14937-14937 | O conceito Estructura Anatomica e' completamente decomposto em AnimalAnatomicalStructure + PlantAnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14936-14936 | O conceito Estructura Anatomica e' completamente decomposto em Parte do Corpo + AbnormalAnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14469-14469 | O conceito Animal e' completamente decomposto em Vertebrado + Invertebrado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16835-16835 | O conceito Argument e' completamente decomposto em DeductiveArgument + InductiveArgument |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1702-1702 | O conceito Atributo e' completamente decomposto em Atributo Interno + Atributo Relacional |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 82-82 | O conceito BiochemicalAgent e' completamente decomposto em BiologicalAgent + ChemicalAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 108-108 | O conceito BiochemicalWeapon e' completamente decomposto em BiologicalWeapon + ChemicalWeapon |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 157-157 | O conceito BiologicalAgent e' completamente decomposto em Toxin + ToxicOrganism |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7624-7624 | O conceito CareOrganization e' completamente decomposto em HospitalOrganization + MedicalClinic |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1027-1027 | O conceito ChairmanPublication e' completamente decomposto em ChairmanInstruction + ChairmanManual |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12526-12526 | O conceito Processo Quimico e' completamente decomposto em Sintese Quimica + Decomposicao Quimica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13058-13058 | O conceito Communicacao e' completamente decomposto em Declarar, Supposing, Dirigir, Comprometer-se, Exprimir, + Declarar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3585-3585 | O conceito Currency e' completamente decomposto em CurrencyBill + CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16855-16855 | O conceito DeductiveArgument e' completamente decomposto em ValidDeductiveArgument + InvalidDeductiveArgument |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 816-816 | O conceito Entidade e' completamente decomposto em Fisico + Abstrato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12942-12942 | O conceito Exprimir e' completamente decomposto em Gesture + ExpressingInLanguage |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1604-1604 | O conceito Firearm e' completamente decomposto em Rifle + Pistol |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8151-8151 | O conceito Garden e' completamente decomposto em ResidentialGarden + PublicGarden |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14054-14054 | O conceito Area Geografica e' completamente decomposto em Area Aquatica + Area terrestre |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17803-17803 | O conceito GeometricFigure e' completamente decomposto em GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5820-5820 | O conceito Elemento do Grafo e' completamente decomposto em No' do Grafo + Arco do Grafo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1162-1162 | O conceito Gun e' completamente decomposto em ArtilleryGun + Firearm |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5279-5279 | O conceito Hardwood e' completamente decomposto em Softwood |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14667-14667 | O conceito Humano e' completamente decomposto em Man + Woman |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |