| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1820-1822 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2179-2182 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 438-441 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2177-2177 | Relacao com Valor Unico e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2176-2176 | Relacao com Valor Unico e' uma sub-classe de Relacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24529-24529 | StringConcatenateFn e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24502-24502 | StringLengthFn e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24472-24472 | SubstringFn e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1453-1453 | absoluteHeight e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7517-7517 | age e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7735-7735 | altitude e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17972-17972 | approximateDiameter e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5964-5964 | arcWeight e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5360-5360 | average e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16964-16964 | conclusion e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2875-2875 | currencyType e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8579-8579 | date e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7762-7762 | depth e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7693-7693 | diameter e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7712-7712 | distance e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1378-1378 | effectiveRange e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21733-21733 | electronNumber e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16489-16489 | father e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 33-33 | geneticSubstrateOfVirus e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18051-18051 | geometricDistance e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 296-296 | hasDimension e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 303-303 | hasVariable e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6692-6692 | humanCapacity e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11979-11979 | intelligenceQuotient e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 22-22 | invadingVirus e' uma instancia de Relacao com Valor Unico |
| 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