(instance FemaleLifeExpectancyAtBirthFn BinaryFunction) 
People.kif 401401 
Female life expectancy at birth is an instance of binary function 
(instance FiscalYearStartingFn BinaryFunction) 
Economy.kif 37243724 
Fiscal year starting is an instance of binary function 
(instance GPIFn BinaryFunction) 
UXExperimentalTerms.kif 33583358 
GPW is an instance of binary function 
(instance GPSFn BinaryFunction) 
UXExperimentalTerms.kif 33253325 
GPS is an instance of binary function 
(instance GeographicPartTypeFn BinaryFunction) 
Geography.kif 62506250 
GeographicPartTypeFn is an instance of binary function 
(instance GraphPathFn BinaryFunction) 
Merge.kif 57135713 
Graph path is an instance of binary function 
(instance HourFn BinaryFunction) 
Merge.kif 80488048 
Hour is an instance of binary function 
(instance IntersectionFn BinaryFunction) 
Merge.kif 51335133 
Intersection is an instance of binary function 
(instance IntervalFn BinaryFunction) 
Merge.kif 62436243 
Interval is an instance of binary function 
(instance KappaFn BinaryFunction) 
Merge.kif 52635263 
Kappa is an instance of binary function 
(instance LifeExpectancyAtBirthFn BinaryFunction) 
People.kif 309309 
Life expectancy at birth is an instance of binary function 
(instance LiftFn BinaryFunction) 
UXExperimentalTerms.kif 47474747 
Lift is an instance of binary function 
(instance LineFn BinaryFunction) 
ComputingBrands.kif 25852585 
Line is an instance of binary function 
(instance ListConcatenateFn BinaryFunction) 
Merge.kif 29592959 
List concatenate is an instance of binary function 
(instance ListOrderFn BinaryFunction) 
Merge.kif 28642864 
List order is an instance of binary function 
(instance LogFn BinaryFunction) 
Merge.kif 47304730 
Log is an instance of binary function 
(instance MaleLifeExpectancyAtBirthFn BinaryFunction) 
People.kif 356356 
Male life expectancy at birth is an instance of binary function 
(instance MaxFn BinaryFunction) 
Merge.kif 47384738 
Max is an instance of binary function 
(instance MaximalWeightedPathFn BinaryFunction) 
Merge.kif 56885688 
Maximal weighted path is an instance of binary function 
(instance MealAttributeFn BinaryFunction) 
Food.kif 237237 
Meal attribute function is an instance of binary function 
(instance MeasureFn BinaryFunction) 
Merge.kif 60086008 
Measure is an instance of binary function 
(instance MemberRoleFn BinaryFunction) 
Government.kif 17351735 
Member role is an instance of binary function 
(instance MereologicalDifferenceFn BinaryFunction) 
Merge.kif 92119211 
Mereological difference is an instance of binary function 
(instance MereologicalProductFn BinaryFunction) 
Merge.kif 91909190 
Mereological product is an instance of binary function 
(instance MereologicalSumFn BinaryFunction) 
Merge.kif 91689168 
Mereological sum is an instance of binary function 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 