UnaryFunction(unary function) |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1488-1488 | Cabinet is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5532-5532 | Cardinality is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4809-4809 | Ceiling is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7706-7706 | Center of circle is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27443-27443 | Level plane is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9205-9205 | Citizenry is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5500-5500 | Complement is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Government.kif 637-637 | Constitution is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2832-2832 | Conversion rate is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4827-4827 | Cosine is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31643-31643 | Covering fn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 284-284 | Currency is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6095-6095 | Cut set is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5248-5248 | Datum is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18662-18662 | Dead fn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18424-18424 | Dead or missing body part fn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6787-6787 | Demand is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32563-32563 | Demonym fn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4836-4836 | Denominator is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8627-8627 | Descendants is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5565-5565 | Diameter is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3307-3307 | Document is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11307-11307 | Edema is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1646-1646 | Election is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2252-2252 | Elevation high point is an instance of unary function |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |