| 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 3403-3404 | |
| 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 3399-3399 | Funcao Binaria e' uma sub-classe de Funcao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3401-3401 | Funcao Binaria e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3400-3400 | Funcao Binaria e' uma sub-classe de Relacao Ternaria |
| 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 e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2527-2527 | AbortedLaunchFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2430-2430 | AbortedMissionFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4708-4708 | AdditionFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 924-924 | AlbumCopiesFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7574-7574 | AmountsFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1774-1774 | AttrFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | People.kif 68-68 | BirthsPerThousandFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15016-15016 | BodySideFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 686-686 | BorderFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1168-1168 | CellPartFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | People.kif 440-440 | ChildrenBornPerWomanFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3319-3319 | ClickThroughRateFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1042-1042 | ContestFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8622-8622 | DayFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | People.kif 101-101 | DeathsPerThousandFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | People.kif 227-227 | DeathsPerThousandLiveBirthsFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6645-6645 | DensityFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18349-18349 | DepartmentOfFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18417-18417 | DepartmentOfPreventingFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 476-476 | DirectionalSubregionFn e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4740-4740 | DivisionFn e' uma instancia de Funcao Binaria |
| 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 3722-3722 | O argumento numero 1 de distributes e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3723-3723 | O argumento numero 2 de distributes e' uma instancia de Funcao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5279-5279 | O argumento numero 1 de identityElement e' uma instancia de Funcao Binaria |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3406-3408 |
|
|
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