SingleValuedRelation(single valued relation) |
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 7556-7556 | length is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7802-7802 | monetary value is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16423-16423 | 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 21680-21680 | proton number is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7657-7657 | radius is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24483-24483 | string concatenation is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24456-24456 | string length is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11870-11870 | transaction amount is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4439-4439 | 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 588-588 | wavelength is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7541-7541 | width is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3350-3350 | 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 |