| 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 2125-2128 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2123-2123 | Single valued relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2122-2122 | Single valued relation is a subclass of relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23849-23849 | StringConcatenateFn is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23822-23822 | StringLengthFn is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23792-23792 | SubstringFn is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1453-1453 | absolute height is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7426-7426 | age is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7609-7609 | altitude is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17361-17361 | approximate diameter is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5867-5867 | arc weight is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5265-5265 | average is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16624-16624 | conclusion is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2885-2885 | currency type is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8451-8451 | date is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7636-7636 | depth is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7571-7571 | diameter is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7586-7586 | distance is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1346-1346 | effective range is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21190-21190 | electron number is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16149-16149 | father is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 33-33 | genetic substrate of virus is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17716-17716 | geometric distance is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 295-295 | has dimension is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 302-302 | has variable is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6362-6362 | human capacity is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11437-11437 | intelligence quotient is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 22-22 | invading virus is an instance of single valued relation |
| 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