BinaryFunction(binary function) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15506-15506 | Edition is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4816-4816 | Exponentiation is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | People.kif 393-393 | Female life expectancy at birth is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3721-3721 | Fiscal year starting is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3156-3156 | GPW is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3123-3123 | GPS is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6912-6912 | Geographic part type fn is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6052-6052 | Graph path is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8611-8611 | Hour is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5453-5453 | Intersection is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6581-6581 | Interval is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5580-5580 | Kappa is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | People.kif 296-296 | Life expectancy at birth is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4549-4549 | Lift is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2616-2616 | Line is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3070-3070 | List concatenate is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2975-2975 | List order is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4974-4974 | Log is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | People.kif 345-345 | Male life expectancy at birth is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4982-4982 | Max is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6030-6030 | Maximal weighted path is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1891-1891 | Meal attribute function is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2221-2221 | Ten minute mean surface wind speed is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2326-2326 | One minute mean surface wind speed is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2291-2291 | Two minute mean surface wind speed is an instance of binary function |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |