BinaryFunction(Funcao Binaria) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15506-15506 | EditionFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4816-4816 | ExponentiationFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | People.kif 393-393 | FemaleLifeExpectancyAtBirthFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3721-3721 | FiscalYearStartingFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3156-3156 | GPIFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3123-3123 | GPSFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6912-6912 | GeographicPartTypeFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6052-6052 | GraphPathFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8611-8611 | HourFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5453-5453 | IntersectionFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6581-6581 | IntervalFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5580-5580 | KappaFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | People.kif 296-296 | LifeExpectancyAtBirthFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4549-4549 | LiftFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2616-2616 | LineFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3070-3070 | ListConcatenateFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2975-2975 | ListOrderFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4974-4974 | LogFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | People.kif 345-345 | MaleLifeExpectancyAtBirthFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4982-4982 | MaxFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6030-6030 | MaximalWeightedPathFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1891-1891 | MealAttributeFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2221-2221 | Mean10MinutesWindSpeedFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2326-2326 | Mean1MinuteWindSpeedFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2291-2291 | Mean2MinutesWindSpeedFn e' uma instancia de Funcao Binaria |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |