(format EnglishLanguage BinaryFunction "the binary function of %1 and %2") 
domainEnglishFormat.kif 7979 

(instance AbortedFn BinaryFunction) 
MilitaryProcesses.kif 23772377 
Aborted is an instance of binary function 
(instance AbortedLaunchFn BinaryFunction) 
MilitaryProcesses.kif 24432443 
Aborted launch is an instance of binary function 
(instance AbortedMissionFn BinaryFunction) 
MilitaryProcesses.kif 23972397 
Aborted mission is an instance of binary function 
(instance AdditionFn BinaryFunction) 
Merge.kif 48534853 
Addition is an instance of binary function 
(instance AlbumCopiesFn BinaryFunction) 
Music.kif 926926 
Album copies function is an instance of binary function 
(instance AttrFn BinaryFunction) 
Merge.kif 18301830 
Attr is an instance of binary function 
(instance BirthsPerThousandFn BinaryFunction) 
People.kif 9090 
Births per thousand is an instance of binary function 
(instance BorderFn BinaryFunction) 
Geography.kif 678678 
Border is an instance of binary function 
(instance CellPartFn BinaryFunction) 
VirusProteinAndCellPart.kif 582582 
Cell part is an instance of binary function 
(instance ChildrenBornPerWomanFn BinaryFunction) 
People.kif 446446 
Children born per woman is an instance of binary function 
(instance ClickThroughRateFn BinaryFunction) 
UXExperimentalTerms.kif 35133513 
Clickthrough rate is an instance of binary function 
(instance ContestFn BinaryFunction) 
Music.kif 10401040 
Contest function is an instance of binary function 
(instance DayFn BinaryFunction) 
Merge.kif 87068706 
Day is an instance of binary function 
(instance DeathsPerThousandFn BinaryFunction) 
People.kif 121121 
Deaths per thousand is an instance of binary function 
(instance DeathsPerThousandLiveBirthsFn BinaryFunction) 
People.kif 242242 
Deaths per thousand live births is an instance of binary function 
(instance DensityFn BinaryFunction) 
Merge.kif 68526852 
Density is an instance of binary function 
(instance DirectionalSubregionFn BinaryFunction) 
Geography.kif 473473 
Directional subregion is an instance of binary function 
(instance DivisionFn BinaryFunction) 
Merge.kif 48904890 
Division is an instance of binary function 
(instance EditionFn BinaryFunction) 
Merge.kif 1562115621 
Edition is an instance of binary function 
(instance ExponentiationFn BinaryFunction) 
Merge.kif 49754975 
Exponentiation is an instance of binary function 
(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 33603360 
GPW is an instance of binary function 
(instance GPSFn BinaryFunction) 
UXExperimentalTerms.kif 33273327 
GPS is an instance of binary function 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 