| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1999-1999 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3402-3403 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 635-636 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3398-3398 | Fonction binaire est une sous-classe de function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3400-3400 | Fonction binaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3399-3399 | Fonction binaire est une sous-classe de relation ternaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 280-280 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 279-279 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 278-278 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2410-2410 | AbortedFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2476-2476 | AbortedLaunchFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2430-2430 | AbortedMissionFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4707-4707 | AdditionFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 924-924 | AlbumCopiesFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7573-7573 | AmountsFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1774-1774 | AttrFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | People.kif 68-68 | BirthsPerThousandFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14970-14970 | BodySideFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 686-686 | BorderFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1167-1167 | CellPartFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | People.kif 440-440 | ChildrenBornPerWomanFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3319-3319 | ClickThroughRateFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1042-1042 | ContestFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8586-8586 | DayFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | People.kif 101-101 | DeathsPerThousandFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | People.kif 227-227 | DeathsPerThousandLiveBirthsFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6644-6644 | DensityFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18322-18322 | DepartmentOfFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18390-18390 | DepartmentOfPreventingFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 476-476 | DirectionalSubregionFn est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4739-4739 | DivisionFn est une instance de fonction binaire |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3721-3721 | Le nombre 1 argument de distributes est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3722-3722 | Le nombre 2 argument de distributes est une instance de fonction binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5278-5278 | Le nombre 1 argument de identityElement est une instance de fonction binaire |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3405-3407 |
|
|
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