rangeSubclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18451-18451 | The values returned by Making fn are subclasses of object |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6322-6322 | The values returned by measuring a process are subclasses of measuring |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6081-6081 | The values returned by minimal cut set are subclasses of graph path |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8677-8677 | The values returned by minute are subclasses of minute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8609-8609 | The values returned by month are subclasses of month |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1520-1520 | The values returned by network communication function are subclasses of network communication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20516-20516 | The values returned by occupation are subclasses of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17912-17912 | The values returned by operating are subclasses of process |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5250-5250 | The values returned by organic object fn are subclasses of object |
No TPTP formula. May not be expressible in strict first order. | Government.kif 466-466 | The values returned by overseas area are subclasses of overseas area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6345-6345 | The values returned by pain are subclasses of pain |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6318-6318 | The values returned by paralysis are subclasses of paralysis |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 770-770 | The values returned by perimeter area are subclasses of perimeter area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14691-14691 | The values returned by periodical issue are subclasses of periodical |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3353-3353 | The values returned by plant fn are subclasses of plant |
No TPTP formula. May not be expressible in strict first order. | Music.kif 829-829 | The values returned by playing instrument fn are subclasses of instrumental music |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 798-798 | The values returned by power set are subclasses of set or class |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1360-1360 | The values returned by pressing key fn are subclasses of single key press |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9006-9006 | The values returned by quarter fn are subclasses of quarter year |
No TPTP formula. May not be expressible in strict first order. | Media.kif 185-185 | The values returned by receiving an object fn are subclasses of getting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8482-8482 | The values returned by recurrent time interval are subclasses of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8704-8704 | The values returned by second are subclasses of second |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13536-13536 | The values returned by sense impairment are subclasses of pathologic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13556-13556 | The values returned by no ability of are subclasses of pathologic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14646-14646 | The values returned by series volume are subclasses of text |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |