| 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 | Le nombre 1 argument de partition est une instance de classe |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 583-583 | Le nombre 2 argument de partition est une instance de classe |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 580-580 | partition est une instance de predicat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 581-581 | partition est une instance de relation a arit� variable |
| 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 est reli� � l'int�rieur de SUMO � 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 44569-44569 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44568-44568 |
| 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 11175-11175 | Ambulating est compl�tement d�compos� en marcher + Running |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14961-14961 | Structure anatomique est compl�tement d�compos� en AnimalAnatomicalStructure + PlantAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14960-14960 | Structure anatomique est compl�tement d�compos� en partie du corps + AbnormalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14493-14493 | Animal est compl�tement d�compos� en vertebr� + invertebr� |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16884-16884 | Argument est compl�tement d�compos� en DeductiveArgument + InductiveArgument |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1702-1702 | Attribut est compl�tement d�compos� en attribut interne + attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 82-82 | BiochemicalAgent est compl�tement d�compos� en BiologicalAgent + ChemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 108-108 | BiochemicalWeapon est compl�tement d�compos� en BiologicalWeapon + ChemicalWeapon |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 157-157 | BiologicalAgent est compl�tement d�compos� en Toxin + ToxicOrganism |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7652-7652 | CareOrganization est compl�tement d�compos� en HospitalOrganization + MedicalClinic |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1027-1027 | ChairmanPublication est compl�tement d�compos� en ChairmanInstruction + ChairmanManual |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12550-12550 | Processus chimique est compl�tement d�compos� en synth�se chimique + d�composition chemical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13082-13082 | Communication est compl�tement d�compos� en d�clarer, Supposing, diriger, investir, exprimer, + d�clarer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3578-3578 | Currency est compl�tement d�compos� en CurrencyBill + CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16904-16904 | DeductiveArgument est compl�tement d�compos� en ValidDeductiveArgument + InvalidDeductiveArgument |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 816-816 | Entit� est compl�tement d�compos� en physique + abstrait |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12970-12970 | Exprimer est compl�tement d�compos� en Gesture + ExpressingInLanguage |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1597-1597 | Firearm est compl�tement d�compos� en Rifle + Pistol |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8179-8179 | Garden est compl�tement d�compos� en ResidentialGarden + PublicGarden |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14078-14078 | Secteur g�ographique est compl�tement d�compos� en plan d'eau + zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17860-17860 | GeometricFigure est compl�tement d�compos� en GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5821-5821 | �lement du graph Est compl�tement d�compos� en noeud du graph + arc du graph |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1155-1155 | Gun est compl�tement d�compos� en ArtilleryGun + Firearm |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5279-5279 | Hardwood est compl�tement d�compos� en Softwood |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14691-14691 | Humain est compl�tement d�compos� en Man + Woman |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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