|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1611-1611 | leader is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7557-7557 | length is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7816-7816 | monetary value is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16472-16472 | mother is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 865-865 | net worth is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21708-21708 | proton number is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7671-7671 | radius is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24541-24541 | string concatenation is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24514-24514 | string length is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11894-11894 | transaction amount is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4440-4440 | unique identifier is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 360-360 | valence is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 581-581 | wavelength is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7542-7542 | width is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3351-3351 | Function is a subclass of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 889-889 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 980-980 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 565-565 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 95-95 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 98-98 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2250-2250 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 517-517 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 132-132 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 586-586 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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