UnaryFunction(unary function) |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1526-1526 | Cabinet is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5507-5507 | Cardinality is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4781-4781 | Ceiling is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7646-7646 | Center of circle is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8037-8037 | Citizenry is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5475-5475 | Complement is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Government.kif 673-673 | 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 4799-4799 | Cosine is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29712-29712 | Covering fn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 282-282 | Currency is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6070-6070 | Cut set is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4856-4856 | Datum is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 114-114 | Dead fn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18259-18259 | Dead or missing body part fn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30617-30617 | Demonym fn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4808-4808 | Denominator is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7459-7459 | Descendants is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4936-4936 | Diameter is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3011-3011 | Document is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9977-9977 | Edema is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1684-1684 | Election is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1956-1956 | Elevation high point is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1932-1932 | Elevation low point is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2055-2055 | Email domain part fn is an instance of unary function |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |