|
|
   SingleValuedRelation
|
|
|
| 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 2092-2095 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2090-2090 | Single valued relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2089-2089 | 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 22268-22268 | StringConcatenateFn is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22240-22240 | StringLengthFn is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22210-22210 | 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 7171-7171 | age is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7312-7312 | altitude is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15677-15677 | approximate diameter is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5653-5653 | arc weight is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5082-5082 | average is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15748-15748 | conclusion is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2878-2878 | currency type is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8016-8016 | date is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7339-7339 | depth is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7274-7274 | diameter is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7289-7289 | distance is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1770-1770 | effective range is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19538-19538 | electron number is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15279-15279 | 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 16694-16694 | 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 6337-6337 | human capacity is an instance of single valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10008-10008 | 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 |
|
|
|