BinaryFunction(binary function) |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2256-2256 | Three minute mean surface wind speed is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1902-1902 | Three second mean surface wind speed is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1996-1996 | Mean three second wind speed list is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6346-6346 | Measure is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1781-1781 | Member role is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9827-9827 | Mereological difference is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9806-9806 | Mereological product is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9784-9784 | Mereological sum is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | People.kif 137-137 | Migrants per thousand is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5008-5008 | Min is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6008-6008 | Minimal weighted path is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8637-8637 | Minute is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8569-8569 | Month is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4694-4694 | Multiplication is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31726-31726 | Population of organisms is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3082-3082 | Qualifying purchases per user per interval is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8054-8054 | Per capita fn is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6628-6628 | Per is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14660-14660 | Periodical issue is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | People.kif 35-35 | Population growth is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8966-8966 | Quarter fn is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Military.kif 923-923 | Reaching military age annually male is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8442-8442 | Recurrent time interval is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5464-5464 | Relative complement is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17226-17226 | Relative time is an instance of binary function |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |