| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1823-1826 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2197-2201 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 442-445 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2195-2195 | Relacao Total e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2194-2194 | Relacao Total e' uma sub-classe de Relacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4762-4762 | AbsoluteValueFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1279-1279 | AccelerationFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4712-4712 | AdditionFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5259-5259 | ArcCosineFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5269-5269 | ArcSineFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5249-5249 | ArcTangentFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8017-8017 | BeginFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5942-5942 | BeginNodeFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4783-4783 | CeilingFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7661-7661 | CenterOfCircleFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5477-5477 | ComplementFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4801-4801 | CosineFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4810-4810 | DenominatorFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6644-6644 | DensityFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4932-4932 | DiameterFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8045-8045 | EndFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5953-5953 | EndNodeFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4819-4819 | ExponentiationFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4828-4828 | FloorFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8546-8546 | FutureFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5498-5498 | GeneralizedIntersectionFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5487-5487 | GeneralizedUnionFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6054-6054 | GraphPathFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4908-4908 | ImaginaryPartFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16355-16355 | ImmediateFamilyFn e' uma instancia de Relacao Total |
| 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